Página principal > Resultados de la búsqueda: Elder, Murray
  Consejos para la búsqueda
Búsqueda simple
Buscar colecciones:
Ordenar por: Mostrar resultados: Formato de visualización:
Depósito Digital de Documentos de la UAB Encontrados 1 registros  La búsqueda tardó 0.00 segundos. 
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)  
Registro completo - Creative Commons

¿Le interesa recibir alertas sobre nuevos resultados de esta búsqueda?
Defina una alerta personal vía correo electrónico o subscríbase al canal RSS.
Depósito Digital de Documentos de la UAB :: Buscar :: Enviar :: Personalizar :: Ayuda
Powered by Invenio v1.1.6
Mantenido por ddd.bib@uab.cat  :: Metadatos sujetos a:
Colaboramos