Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata - Archive ouverte HAL
Article Dans Une Revue Information and Computation Année : 2022

Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata

Résumé

In weighted automata theory, many classical results on formal languages have been extended into a quantitative setting. Here, we investigate weighted context-free languages of infinite words, a generalization of ω-context-free languages (as introduced by Cohen and Gold in 1977) and an extension of weighted context-free languages of finite words (that were already investigated by Chomsky and Schützenberger in 1963). As in the theory of formal grammars, these weighted context-free languages, or ω-algebraic series, can be represented as solutions of mixed ω-algebraic systems of equations and by weighted ω-pushdown automata. In our first main result, we show that (mixed) ω-algebraic systems can be transformed into Greibach normal form. We use the Greibach normal form in our second main result to prove that simple ω-reset pushdown automata recognize all ω-algebraic series. Simple ω-reset automata do not use \epsilon-transitions and can change the stack only by at most one symbol. These results generalize fundamental properties of context-free languages to weighted context-free languages.
Fichier principal
Vignette du fichier
droste.22.iandc.pdf (279.81 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04580367 , version 1 (19-05-2024)

Identifiants

Citer

Manfred Droste, Sven Dziadek, Werner Kuich. Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata. Information and Computation, 2022, 285 (B), pp.104871. ⟨10.1016/j.ic.2022.104871⟩. ⟨hal-04580367⟩
8 Consultations
11 Téléchargements

Altmetric

Partager

More