Изменения

Рассмотрим пример (рис. 1). Этот граф может быть использован для распознавания строк над алфавитом <tex>\Sigma = \{a, b\}</tex>. По определению, язык, распознаваемый данным автоматомграфом, состоит из непустых строк, начинающихся и заканчивающизся заканчивающихся на <tex>a</tex>. Язык, распознаваемый данным графом ; он имеет вид: <tex>L = (a \Sigma^* \cap \Sigma^* a) \ setminus \Sigma^* b^2 \Sigma^*)</tex>.