Skip to content

Latest commit

 

History

History
36 lines (24 loc) · 1.15 KB

README.md

File metadata and controls

36 lines (24 loc) · 1.15 KB
Raw

CTFi

This is the context free language interpreter. A rule set like palindrome.rule can be interpreted up until a certain iteration (your computer wouldn't like solving infinite languages I think)

Program

So I'm too lazy to list all options here, some trial and error will be required. The program itself has a '-h' and '--help' option like any normal unix-like program. So goodluck with that.

Rule syntax

Variables are written in capitals like in most mathematical representations, non-terminatal symbols are written in lowercase.

In addition to the strict mathematical notation it is ok to seperate rules with '|'

Demonstration

S -> a
S -> bc
S -> TT
S -> lambda
T -> aa
T -> λ

Note that rules can be entered via commandline or file

##Versions

Added in version 3.2:

  • shorthands "ctfi" or "./ctfi" is now enough to run the program
  • actions the generate function to generate a language is still there but it's also possible to
    • "mini": minify, simplify rules, note that this is fairly elementary
    • "rl2ll": transforms a right linear grammar to a left linear grammar
    • "ll2rl": transforms a left linear grammar to right linear grammar