[З. симулятор ] машина Тьюринга с ошибок, сбоев и восстановления – C++ (general), UNIX C++ – Алгоритмы – База кода

Скачать

Название (оригинал): [C Simulator ] Turing Machine with faults, failures and recovery

Описание:
Англ (оригинал) The C -program simulates a Turing Machine with faults, failures and recovery.
It is defined by input files :
* metafile,
* description file,
* states file,
* alphabet file,
* transition file,
* input word(s) file(s).

1) Each row of metafile contains data related to some Expanded Turing Machine :
* name of description file,
* number of master tapes,
* name of states file,
* name of alphabet file,
* name of transition file,
* name(s) of input word(s) file(s).
2) Description file contains verbal description of the machine [optional].
3) States file contains list of initial, halting and internal user-defined program states.
4) Alphabet contains list of empty, input and internal symbols.
5) Each row of transition contains some transition rule
– some rules may be marked as check-points;
– illegal daemon-defined rules (fault rules) may be added.
6) Each row of input word(s) contains input word for some tape.

Known bug. Sometimes programs doesn’t work if there are more than one check-point.

Рус (машинный) Си-программа имитирует машину Тьюринга с ошибок, сбоев и восстановления.
Она определяется входных файлов :
* метафайл,
* описание файла,
* файл государств,
* алфавит файл,
* переход файла,
* входное слово(ы) файла(ов).

1) каждая строка метафайл содержит данные, относящиеся к некоторой Расширенной машины Тьюринга :
* имя описание файл,
* количество мастер-ленты,
* название государства-файл,
* Имя файла алфавита,
* Имя файла экономикой,
* имя(имена) входное слово(ы) файла(ов).
2) Описание файл содержит словесное описание автомат [необязательно].
3) Штаты файл содержит список первоначальный, прекращение и внутренней пользовательской программы государства.
4) алфавит содержит список пустой, входных и внутренних символов.
5) каждая строка перехода содержит некоторые правила перехода
– некоторые правила могут быть помечены как чек-поинты

база кода