The algebraic characterizations for a formal power series over complete strong bimonoids

On the basis of run semantics and breadth-first algebraic semantics, the algebraic characterizations for a classes of formal power series over complete strong bimonoids are investigated in this paper. As recognizers, weighted pushdown automata with final states (WPDAs for short) and empty stack (WPD...

Descripción completa

Detalles Bibliográficos
Autores principales: Jin, Jian Hua, Li, Chun Quan
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer International Publishing 2016
Materias:
Research
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4786578/
https://www.ncbi.nlm.nih.gov/pubmed/27066342
http://dx.doi.org/10.1186/s40064-016-1764-x

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4786578/
https://www.ncbi.nlm.nih.gov/pubmed/27066342
http://dx.doi.org/10.1186/s40064-016-1764-x

Ejemplares similares