... where each process has a counter initialized to 0 and has an unbounded input ... Automaton A1 States q0 qinit qzero qnil qlist qsymb Final States q0 ...
確定! 回上一頁