TmsParser
Description
This module provides types for parsing Tms Turing machines.
Tms
parser :: Parser Tms Source #
parseTms :: FilePath -> FilePath -> IO Tms Source #
Parse Tms from file.
pTms :: Parser Tms Source #
Tms. Example:
name: TuringMachine_1 init: q1 accept: q2, q3
q1, _, x q2, a, y, -, >
q0, _, _ q3, a, _, <, - Note: lines should not end with ' ', also there could not be any newlines after Tms.