LangToGroup-0.1.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

TmsParser

Description

This module provides types for parsing Tms Turing machines.

Synopsis

Documentation

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.