Теоремы Клини (прямая и обратная)

1. По регулярному выражению может быть построен KA.

2. По KA может быть построено регулярное выражение.

Формально любая машина состояний является конечным автоматом и поэтому на SM распространяется теорема Клини.

Предметная область