示例 CA 輸入

這些示例用於與計數語言底部提供的 perl CA 模擬器一起使用。該頁面還包含有關 CA 的定義以及工作原理的描述。

該機器接受形式為 $\{a^{n}b^{m}a^{n}b^{m}ccc|n,m\geq 0\}$ 的字串。

:States:
q1a q1b q2a q2b q3 q4 q5 q6 q7
:Counters:
m n
:Start State:
q1a
:Accept States:
q7
:alphabet:
a b c
:rules:
q1a c q5
q1a a q1b -> m++
q1b a q1a -> m++
q1a b q2b -> n++
q1b b q2b -> n++
q2a b q2b -> n++
q2b b q2a -> n++
q2a c q5 m==0
q2a a q3 m>0 -> m--
q2b a q3 m>0 -> m--
q3 a q3 m>0 -> m--
q3 b q4 m==0 n>0 -> n--
q4 b q4 n>0 -> n--
q4 c q5 n==0
q5 c q6
q6 c q7

一些示例輸入
這些接受

a b b b a b b b c c c

c c c

a a a a c c c

這些拒絕

a a b b a b b c c c

a a b a a b c c

a a a c c c

返回