The word problem distinguishes counter languages

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.

Detalles Bibliográficos
Autores: Cleary, Sean, Elder, Murray, Ostheimer, Gretchen
Tipo de recurso: artículo
Fecha de publicación:2006
País:España
Institución:Universitat Autònoma de Barcelona
Repositorio:Dipòsit Digital de Documents de la UAB
Idioma:inglés
OAI Identifier:oai:ddd.uab.cat:44067
Acceso en línea:https://ddd.uab.cat/record/44067
Access Level:acceso abierto
Palabra clave:Llenguatges formals
Autòmats finits
Lingüística computacional
id ES_d5377e3eb3fa4da54ab14728e540ddcc
oai_identifier_str oai:ddd.uab.cat:44067
network_acronym_str ES
network_name_str España
repository_id_str
spelling The word problem distinguishes counter languagesCleary, SeanElder, MurrayOstheimer, GretchenLlenguatges formalsAutòmats finitsLingüística computacionalCounter 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àticaCentre de Recerca Matemàtica 22006-01-0120062006-01-01Articlehttp://purl.org/coar/resource_type/c_6501AOhttp://purl.org/coar/version/c_b1a7d7d4d402bcceinfo:eu-repo/semantics/articleapplication/pdfhttps://ddd.uab.cat/record/44067reponame:Dipòsit Digital de Documents de la UABinstname:Universitat Autònoma de BarcelonaInglésengopen accesshttp://purl.org/coar/access_right/c_abf2Aquest document està subjecte a una llicència d'ús Creative Commons. Es permet la reproducció total o parcial, la distribució, i la comunicació pública de l'obra, sempre que no sigui amb finalitats comercials, i sempre que es reconegui l'autoria de l'obra original. No es permet la creació d'obres derivades.https://creativecommons.org/licenses/by-nc-nd/2.5/info:eu-repo/semantics/openAccessoai:ddd.uab.cat:440672026-06-06T12:50:31Z
dc.title.none.fl_str_mv The word problem distinguishes counter languages
title The word problem distinguishes counter languages
spellingShingle The word problem distinguishes counter languages
Cleary, Sean
Llenguatges formals
Autòmats finits
Lingüística computacional
title_short The word problem distinguishes counter languages
title_full The word problem distinguishes counter languages
title_fullStr The word problem distinguishes counter languages
title_full_unstemmed The word problem distinguishes counter languages
title_sort The word problem distinguishes counter languages
dc.creator.none.fl_str_mv Cleary, Sean
Elder, Murray
Ostheimer, Gretchen
author Cleary, Sean
author_facet Cleary, Sean
Elder, Murray
Ostheimer, Gretchen
author_role author
author2 Elder, Murray
Ostheimer, Gretchen
author2_role author
author
dc.contributor.none.fl_str_mv Centre de Recerca Matemàtica
dc.subject.none.fl_str_mv Llenguatges formals
Autòmats finits
Lingüística computacional
topic Llenguatges formals
Autòmats finits
Lingüística computacional
description 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.
publishDate 2006
dc.date.none.fl_str_mv 2
2006-01-01
2006
2006-01-01
dc.type.none.fl_str_mv Article
http://purl.org/coar/resource_type/c_6501
AO
http://purl.org/coar/version/c_b1a7d7d4d402bcce
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://ddd.uab.cat/record/44067
url https://ddd.uab.cat/record/44067
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
https://creativecommons.org/licenses/by-nc-nd/2.5/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
https://creativecommons.org/licenses/by-nc-nd/2.5/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Centre de Recerca Matemàtica
publisher.none.fl_str_mv Centre de Recerca Matemàtica
dc.source.none.fl_str_mv reponame:Dipòsit Digital de Documents de la UAB
instname:Universitat Autònoma de Barcelona
instname_str Universitat Autònoma de Barcelona
reponame_str Dipòsit Digital de Documents de la UAB
collection Dipòsit Digital de Documents de la UAB
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869420638016372736
score 15.301603

Similares en LA Referencia