formal-language

Here are 2 public repositories matching this topic...

A toy programming language including jflex scanner, cup parser and semantic validation. Executably by console and by gui (a toy-IDE).

java programming-language parser flex interpreter cup jflex regex javafx toy-language bnf java-8 javafx-application automaton theoretical-computer-science compiler-construction formal-language flex-cup

An automated solver for Hofstadter’s formal system called MIU, from Gödel, Escher, Bach: an Eternal Golden Braid

java solver logic formal-languages puzzle-solver miu formal-language mu-puzzle miu-system

Add a description, image, and links to the formal-language topic page so that developers can more easily learn about it.

To associate your repository with the formal-language topic, visit your repo's landing page and select "manage topics."