Uzavřená vlastnost regulárních jazyků

Vlastnost uzavřenosti regulárních jazyků  — hlavní vlastnosti uzavřenosti jazyků jsou vyjádřeny uzavřeností s ohledem na následující operace: sjednocení, průnik, sčítání, rozdíl, obrácení, iterace, zřetězení, homomorfismus , inverzní homomorfismus.

Tato vlastnost vám umožňuje vytvořit rozpoznávač jazyků (postavený ze dvou dalších jazyků pomocí operací [zřetězení atd.]) mechanickým propojením dvou automatů donorových jazyků. Ale protože takový automat obsahuje více stavů než kterýkoli z těchto dvou, ukazuje se vlastnost closure jako užitečný nástroj pro konstrukci složitých automatů [1] .

Poznámky

  1. Hopcroft, 2002 .

Literatura