Theory Is Forever

Volume 3113 of the series Lecture Notes in Computer Science pp 68-80

A Semiring-Semimodule Generalization of ω-Context-Free Languages

  • Zoltán ÉsikAffiliated withUniversity of Szeged
  • , Werner KuichAffiliated withTechnische Universität Wien

* Final gross prices may vary according to local VAT.

Get Access


We develop an algebraic theory on semiring-semimodule pairs for ω-context-free languages. We define ω-algebraic systems and characterize their solutions of order k by behaviors of algebraic finite automata. These solutions are then set in correspondence to ω-context-free languages.