A class for creating and implementing L-system grammars in python
-
Updated
May 25, 2019 - Python
A class for creating and implementing L-system grammars in python
A toy programming language including jflex scanner, cup parser and semantic validation. Executably by console and by gui (a toy-IDE).
Formal Requirements Toolkit
[ACL 2021] Self-Attention Networks Can Process Bounded Hierarchical Languages
ANTLR-based (normal) Polish notation to .NET Framework compiler, with reflection and embedded scripting.
Algorithms for formal language written with Python 3 with nltk
A somewhat sophisticated regular expression parser utilizing a finite automata
This repository deals with custom vocabularies that can be used to further specify fields of tilt (Transparency Information Language and Toolkit).
An automated solver for Hofstadter’s formal system called MIU, from Gödel, Escher, Bach: an Eternal Golden Braid
Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations
A very general generator to create QBF instances in popular formats given the formal definition of a formula family.
Synthesis of a controller for system with linear dynamics using restricted LTL formula
NFA (nondeterministic finite automaton) simulator using C++
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."