[С симулятор ] машина Тьюринга с ошибками, сбоев и восстановления – 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) каждая строка перехода содержит некоторые правила перехода
– некоторые правила могут быть помечены как чек-поинты

база кода