Skip to content

kamosevoyan/TuringMachineSimulator

Repository files navigation

The project contains simulator, simple high level language and compiler for Turing machine. A simple UI is presented.

The syntax of the language:

<program> := <symbol list> <main-statement>

<main-statement> := <statement>

<statement> := <block-statement> | <if-statement> | <if_else-statement> | <while-statement> | <do_while-statement>| <repeat_until-statement> | <write-statement> | <left-statement> | <right-statement> | <exit-statement> | <error-statement> | <continue-statement> | <break-statement> | <switch-statement>

<block-statement> := '{' <statement>+ '}'

<if-statement> := 'if' <symbol list> <statement>

<if_else-statement> := 'if' <symbol list> <statement> 'else' <statement>

<while-statement> := 'while' <symbol list> <statement>

<do_whlie-statement> := 'do' <statement> 'while' <symbol list> ';'

<repeat_until-statement> := 'repeat' <statement> 'until' <symbol list> ';'

<write-statement> := 'write' <symbol> ';'

<left-statement> := 'left' ';'

<right-statement> := 'right' ';'

<exit-statement> := 'exit' ';'

<error-statement> := 'error' ';'

<continue-statement> := 'cointinue' ';'

<break-statement> := 'break' ';'

<switch-statement> := 'switch' '()' <case-statements>

<case-statements> := <case-statement>+

<case-statement> := 'case' '(' <symbol> ')' <statement>

<symbol list> := <not> '(' <symbol> ( <comma> <symbol> )* ')' | '(' <symbol> ( <comma> <symbol> )* ')'

<symbol> = ASCII printable character

<not> := 'not'

<comma> := ','

Description of statements.

  • if statement
    The statements of if statement are executed only if the symbol in the current cell of the tape is available in symbol list.

  • if-else statement
    The if branch statements of if-else statement are executed when the symbol in the current cell of the tape is available in symbol list, otherwhies the else branch statements are exequted.

  • while statement
    The statements of while statement are executed while the symbol in the current cell of the tape is available in symbol list.

  • do_while statement
    The statements of do_while statement are executed while the symbol in the current cell of the tape is available in symbol list. In contrast of while statement, the statements are eqequted at least once.

  • repeat_until statement
    The statements of repeat_until statement are executed until the symbol in the current cell of the tape is available in symbol list.

  • switch statement
    Similar of common languages (C, C++, etc.) switch-case statement.

  • write statement
    Writes the symbol in the currect cell of the tape.

  • left statement
    Turns the head of the machine left.

  • right statement
    Turns the head of the machine left.

  • exit statement
    Halts the machine.

  • error statement
    Gives error command to the machine to halt unsuccessfully.

  • continue/break statements
    These statements are used as flow controls in while, do_while and repeat_until loops.
    If these statements aren't contained in any of loops given above, the parser trows an exception.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages