|
Prikladnaya Diskretnaya Matematika, 2010, Number 2(8), Pages 117–123
(Mi pdm172)
|
|
|
|
Applied Automata Theory
Solving parallel equations over $\omega$-languages
V. G. Bushkov, N. V. Yevtushenko Tomsk State University, Tomsk, Russia
Abstract:
The paper is devoted to the problem of solving equations over $\omega$-languages. Similar to formal languages, a solvable equation over $\omega$-languages has the largest solution and the formula of the largest solution is similar to that for formal languages.
Keywords:
automata equations, parallel composition of $\omega$-languages, equations over $\omega$-languages, Büchi automata.
Citation:
V. G. Bushkov, N. V. Yevtushenko, “Solving parallel equations over $\omega$-languages”, Prikl. Diskr. Mat., 2010, no. 2(8), 117–123
Linking options:
https://www.mathnet.ru/eng/pdm172 https://www.mathnet.ru/eng/pdm/y2010/i2/p117
|
Statistics & downloads: |
Abstract page: | 215 | Full-text PDF : | 58 | References: | 50 | First page: | 1 |
|