Конечные деревоавтоматы
method
ID: finitetreeautomata
Исходящие связи
| Связь | Целевая сущность | Тип | Действия |
|---|---|---|---|
| usedFor | Разбор | task | Просмотр |
| uses | Слабая монадная логика второго порядка | method | Просмотр |