whitemech/pythomata

A Python package for automata theory.

Language: Python - Size: 6.07 MB - Last synced at: 18 days ago - Pushed at: over 1 year ago - Stars: 56 - Forks: 6

GuilhermeBalog/afn-itc

🤖 Implementação de um Autômato Finito Não-Determinístico para a disciplina de Introdução a Teoria da Computação

Language: Java - Size: 562 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0

lucaslise/reCreator

Uma ferramenta para criar e validar Expressões Regulares

Language: JavaScript - Size: 2.66 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0

vincent-hugot/nfalib

NFA framework for INSA-CVL 4A class on Verification / Model-Checking

Language: Python - Size: 367 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 5 - Forks: 5

mjftw/automata

Fundamental computing machines implemented in Clojure.

Language: Clojure - Size: 54.7 KB - Last synced at: 3 days ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 0

shakibaam/formal-language-and-automata

Language: Java - Size: 5.86 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

reity/nfa

Pure-Python library for building and working with nondeterministic finite automata (NFAs).

Language: Python - Size: 94.7 KB - Last synced at: 14 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

cgiff9/tmfuck

A simple free-form interpreted language for building Turing machines and other automata

Language: C - Size: 1.49 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

mehanix/DFA-NFA-Acceptor

🖧 Program that loads a DFA/NFA from a file, then checks if words are accepted by the automata.

Language: C++ - Size: 1.53 MB - Last synced at: 17 days ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0

raoulsuli/Formal-Languages-and-Automata

Formal Languages and Automata Course (2020-2021)

Language: Python - Size: 41 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

na-teag/editeur-AEF

Projet CY-Tech

Language: Python - Size: 371 KB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

hoomankaseban/The-Finite-Automaton-and-operations-on-it

This project includes classes and methods that are built to perform various operations on FAs.(Final project for Fundamentals of Computational Theory)

Language: Python - Size: 13.7 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

weenchvd/Regex

Regular expression. Scaner. Parser. Compiler. Engineering a Compiler, 2nd Edition - K. Cooper, L. Torczon (2012)

Language: C++ - Size: 239 KB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

alexandru-balan/LFA

A repo containing some projects regarding Finite Languages and Automata

Language: C++ - Size: 760 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

YeonwooSung/TuringMachines

A turing machine for both deterministic and nondeterministic way

Language: C - Size: 8.87 MB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

paulgriffiths/automata

Deterministic and nondeterministic finite automata and regular expressions in Go.

Language: Go - Size: 43.9 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

opDataa/Simple-Automaton-Simulator

Automata Simulator: DFA & NFA

Language: Java - Size: 1.76 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

zestones/automata-conversion

This project provides a C implementation for converting a Nondeterministic Finite Automaton (AFN) into a Deterministic Finite Automaton (AFD).

Language: C - Size: 119 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

DoniaGameel/Regex_to_NFA_DFA_minmized_DFA

Language: Jupyter Notebook - Size: 154 KB - Last synced at: 15 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1

mohammad-safari/finite-state-machine-model-and-operations

formal_language_theory_midterm_project_spring_1402

Language: Java - Size: 17.6 KB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

w-i-l/deterministic-nondeterministic-finite-automata

An implementation of a DFA & NFA

Language: Python - Size: 19.5 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

lcubrilo/Teorijsko-racunarstvo

Fiddling with some Deterministic and Nondeterministic Final State Automata, as inspired by the "Theoretical Computing" subject in uni.

Language: Python - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Bereky/NFA-Simulation

Non-Deterministic Finite Automata Simulation

Language: C++ - Size: 3.91 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

alexbochman/FCS-Project

Foundations of Computer Science course at the University of Massachusetts Lowell.

Language: C++ - Size: 93.8 KB - Last synced at: 12 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

BogdanKocsis/FormalLanguagesAndCompilers

Language: C++ - Size: 133 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

Jeffresh/NFA-HIDALGO

Design a NFA to accept words composed by the letters in "HIDALGO", in any order, with a maximum of: two A's, one D, and one L. It can have any number of H's, I's, G's and, O's.

Language: Jupyter Notebook - Size: 16.6 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

Ronan-H/regex-nfa-builder

Builds and parses regular expressions using non-deterministic finite automata (3rd year Graph Theory assignment)

Language: Python - Size: 68.4 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

exbibyte/coursework_ltl_fragment_planning 📦

feasible policy generator for nondeterministic system with LTL constraints

Language: Rust - Size: 973 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0