C 2021

Language equations

KUNC, Michal a Alexander OKHOTIN

Základní údaje

Originální název

Language equations

Autoři

KUNC, Michal a Alexander OKHOTIN

Vydání

Berlin, Handbook of Automata Theory: Volume I. Theoretical Foundations Volume II. Automata in Mathematics and Selected Applications, od s. 765-799, 35 s. 2021

Nakladatel

European Mathematical Society Publishing House

Další údaje

Jazyk

angličtina

Typ výsledku

Kapitola resp. kapitoly v odborné knize

Obor

10101 Pure mathematics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Odkazy

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14310/21:00123159

Organizační jednotka

Přírodovědecká fakulta

ISBN

978-3-98547-006-8

Klíčová slova anglicky

Language equations; formal grammars; computability

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 9. 12. 2021 11:01, Mgr. Marie Novosadová Šípková, DiS.

Anotace

V originále

Equations with formal languages as unknowns naturally appear whenever sets of words are being used. In particular, they are fundamental for the theory of formal grammars, with systems of equations of the form $X_i=\varphi(X_1, \ldots, X_n)$ representing the inductive nature of the context-free grammars and their natural variants. Some variants of these systems naturally represent finite automata and a basic class of cellular automata. Equations of the general form are notable for their computational completeness, with universal computation encoded in extremely simple examples. The chapter provides a survey of the known results on language equations, classifying them according to the methods of research, and comparing similar properties of different families.