There are 0 repository under regular-languages topic.
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
A python library to manipulate formal languages and various automata
Code for "Learning nominal automata"
A Swift library for writing & manipulating patterns for matching on collections.
Fundamentals of Computing - Learn through simulation
Advanced programming and algorithmization in C++ ⚔️
Python module for processing finite automata and regular expressions for use in the Theory of Compuation course
Implementation of an algorithm that enables finding the minimal deterministic finite automaton that accepts the intersection or union of languages defined by a pair of finite automata.
:book: Word Processing in Groups
Transforming a regular expression into a nondeterministic automaton, then into a deterministic automaton, and back to a regular expression.
Efficient C++ implementation of a property tester for regular expressions/languages.
Parses Formal Regular Expressions and outputs graphs.
This project aims to simplify regular expressions using unique identifiers for equivalent expressions. It integrates various representations of regular languages and provides efficient algorithms for simplification and conversion. The system includes an additional layer for optimizing expression size using a Union-Find structure.
Group project for the course Functional Programming (2023/24) at the University of Amsterdam
Prácticas relacionadas a la teoría del lenguaje, gramáticas, AFD, AFN y una máquina de Turing que realiza una suma de 2 números binarios en lenguaje C.
Tool for manipulating Regular Languages
A Python package to explore regular languages and their representations