Rewriting automata

[Robby-the-paladin]

Написать модуль для загрузки автоматов в интерактивный конвертер:

• Реализовать функционал загрузки пользовательского ввода автоматов в объекты Чиполлино.
• Добавить поддержку данного функционала в интерпретатор.

[Robby-the-paladin]

Пример автомата для FA:

FA {
    ab label = baobab terminal initial_state;
    aba terminal
    ...
    aba bab v;
    bab ab o;
    ab aba c
}

Пример автомата для MFA:

MFA {
    ab label = baobab terminal initial_state;
    aba terminal
    ...
    aba bab v 12 o;
    bab ab eps 12 c;
    ab aba &12
}

[Robby-the-paladin]

Грамматика:

1. production -> "MFA" MFA | "FA" FA
2. MFA -> "{" states MFA_edges "}"
3. FA -> "{" states FA_edges "}"
4. states -> state_description "..." | states state_description "..."
5. state_description -> node_id variants
6. variants -> "label" "=" node_id | "terminal" | "initial_state"
7. MFA_edges -> MFA_edge MFA_edges | ε
8. FA_edges -> FA_edge FA_edges | ε
9. MFA_edge -> stmt memory_lists
10. FA_edge -> stmt
11. stmt -> node_id node_id transition
12. memory_lists -> memory_cell memory_lists | ε
13. memory_cell -> cell_id memory_state
14. memory_state -> "o" | "c"
15. node_id -> (любая строка)
16. cell_id -> (любое число)
17. transition -> "eps" | (любая буква или цифра) | "&" cell_id

[TonitaN]

Так, а где интеграция в генератор случайных объектов? Причём на базе вашего же языка теперь уж надо. И метод Verify должен уметь обращаться к генератору по типу, причём к каждому типу автомата привязана инстанциация грамматики, по которой и делается генерация. Хардкодить грамматику ещё и в генераторе нельзя.