Flashcards : Langages formels et automates — 11 cartes

Une suite finie d'éléments de V_t.

C'est l'ensemble des concaténations u·v avec u dans L_1 et v dans L_2.

Une grammaire où chaque règle produit un mot terminal ou un terminal suivi d'un non-terminal.

Elles modifient la forme des règles sans changer le langage engendré.

Suite finie d'éléments, y compris ε

Sous-ensemble de V_t⋆, tous mots construits

$u^0=ε, u^{p+1}=u⋅u^p$

L_1 ◦ L_2 = {u⋅v | u∈L_1, v∈L_2}

Règles produisant mot terminal ou terminal+non-terminal

Tuple (V_t,Q,q_0,F,T), transition unique

Exécution finie menant à un état final