logic automata formal-methods linear-temporal-logic buchi-automata asked Mar 7 '12 at 20:53

formal-languages automata regular-languages finite-automata nondeterminism asked Mar 8 '12 at 10:20

formal-languages automata regular-languages finite-automata asked Mar 14 '12 at 15:42

terminology reference-request concurrency asked May 8 at 14:07

c# parsing asked Feb 7 '11 at 19:37

lo.logic automata-theory asked Mar 11 '12 at 17:33

computability rewriting-systems asked Mar 16 '12 at 5:05