Files

14 lines
140 B
Plaintext

begin: start
state: start
a -> infinibs
b -> infinias
state: infinibs
b -> infinibs
a -> start
state: infinias
a -> infiniais
b -> start