Resultats globals: 1 registres trobats en 0.02 segons.
Documents de recerca, 1 registres trobats
Documents de recerca 1 registres trobats  
1.
7 p, 157.8 KB The word problem distinguishes counter languages / Cleary, Sean ; Elder, Murray ; Ostheimer, Gretchen ; Centre de Recerca Matemàtica
Counter automata are more powerful versions of finite state automata where addition and subtraction operations are permitted on a set of n integer registers, called counters. We show that the word problem of Zn is accepted by a nondeterministic m-counter automaton if and only if m >= n.
Centre de Recerca Matemàtica 2006 (Prepublicacions del Centre de Recerca Matemàtica ; 695)  

Us interessa rebre alertes sobre nous resultats d'aquesta cerca?
Definiu una alerta personal via correu electrònic o subscribiu-vos al canal RSS.