Решение параллельных уравнений для $\omega$-языков

Рассмотрена проблема решения параллельного уравнения для $\omega$-языков. В частности, доказано, что, подобно уравнениям для регулярных языков, разрешимое уравнение всегда имеет наибольшее решение, формула которого имеет такой же вид, как и формула наибольшего решения для формальных языков. Показано также, что решение уравнения для $\omega$-регулярных языков сводится к последовательности операций над полуавтоматами.