GitHub topics: automata

Repositories

frame-lang/frame_transpiler

Frame is a markdown language for creating state machines (automata) in Python as well as generating UML documentation.

Language: Rust - Size: 15.8 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 65 - Forks: 9

sherwinshen/pac_learn_DOTAs

🔨 A prototype tool for learning DOTAs based on PAC.

Language: Python - Size: 84 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

Kunal70616c/Automata-C-Implementation

A collection of efficient automata algorithms implemented in the C programming language, designed to solve various computational problems.

Language: C - Size: 31.3 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

arhcoder/Pytomatas

🧿 My own Python Library (available on PyPi) to implementate and simulate Automatons like DFA, NFA, PDA and Turing Machine for real projects, with documentation, examples and a project example :3

Language: Python - Size: 69.3 KB - Last synced at: 11 days ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 1

This program uses the LL(1) algorithm to process text input containing context-free grammars (CFGs) and evaluates strings to determine whether they belong to the languages defined by the corresponding CFGs.

Language: Java - Size: 15.6 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

LoganStoltz/CYK-Parser

This program uses the Cocke–Younger–Kasami (CYK) algorithm to process a text input containing Context-Free Grammars (CFGs) and evaluates strings to determine whether they belong to the languages defined by the corresponding CFGs.

Language: Java - Size: 36.1 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

gfxprim/automata

Majestic

Language: C - Size: 403 KB - Last synced at: 6 days ago - Pushed at: 8 months ago - Stars: 8 - Forks: 1

m-riley04/EECS-510-Final-Project

The Final Project for EECS 510 - Theory of Computing

Language: Python - Size: 380 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

MatiasBrizzio/EstiMate

EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.

Language: Java - Size: 99.5 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 4 - 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

tean-lai/regex-decider

deciding regex equivalence with automata theory

Language: OCaml - Size: 43 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

whitemech/flloat 📦

From LTLf/LDLf To Automata

Language: Python - Size: 6.04 MB - Last synced at: 27 days ago - Pushed at: over 4 years ago - Stars: 22 - Forks: 4

mahdavipanah/pyCFG

Context Free Grammar(CFG) parser library and application written in Python.

Language: Python - Size: 97.7 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 25 - Forks: 9

electric-eloquence/game-of-drones

An Iterated Prisoner's Dilemma simulation

Language: JavaScript - Size: 7.49 MB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

Are-you-listening/Machines-and-Computation 📦

Automaticly cleans up your codes by removing unnecessary layers of nesting by using grammars, automata & turing machines!

Language: HTML - Size: 31.8 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

Are-you-listening/Languages-and-Automata

A program which can parse songs and compare & categorise these songs using Finite Automata.

Language: C++ - Size: 41.6 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

VeriFIT/automata-bench

Collected list of benchmarks for evaluating different approaches to reasoning about regular properties.

Language: Shell - Size: 619 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

lucaslealll/lucaslealll

Something about me ;-)

Language: SCSS - Size: 12.6 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

caiofov/TabularRepresentationToJOVE-Python

A converter from tabular representation of an automata in .csv to JOVE library syntax

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

jjdiazo1/AutomatasCompilation

A compilation of automatas I made for the course Languages and Machines in Universidad De Los Andes

Language: Java - Size: 14.6 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

KhaledSharif/TsetlinMachine

An implementation of the Tsetlin Machine in Rust

Language: Rust - Size: 17.6 KB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 16 - Forks: 2

polarhive/plisp

UE23CS242A: AFLL mini-project

Language: Python - Size: 10.7 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

MuhammadAliyan10/Regex-Engine

Regex Engine with Parsing, Backtracking, Graph travesal and DFA.

Language: Python - Size: 3.91 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

roshancodes001/SmartQuiz-Generator

SmartQuiz Gen is an innovative quiz management platform designed to streamline the creation, scheduling, evaluation, and monitoring of quizzes for educators.

Size: 0 Bytes - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

sourhub226/c-cpp-programs

Important C and C++ programs for computer engineers.

Language: C - Size: 495 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 2 - Forks: 2

gunh0/cpp-atoz

📚 Exploring the depths of C++ with practical examples

Language: C++ - Size: 84 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

HarryR/panautomata

Cross-chain proofs and atomic transactions

Language: Python - Size: 265 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 19 - Forks: 2

tchajed/div-regex

Computing regular expressions to test divisibility

Language: Python - Size: 77.1 KB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 10 - Forks: 0

iamareebjamal/nfa-dfa-coverter

A C++ program to convert NFA to DFA

Language: C++ - Size: 32.2 KB - Last synced at: about 2 months ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 0

Oneiroe/PySimpleAutomata

Academic Python Library to manage DFA, NFA and AFW automata.

Language: Python - Size: 417 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 24 - Forks: 6

ZigRazor/CXXAutomata

A C++ library for simulating automata and Turing machines

Language: C++ - Size: 68.4 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 4

lorenzodbr/word-automata

A graphical automata builder

Language: Java - Size: 4.05 MB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 6 - Forks: 0

JSamuelAP/Analizador_Lexico-Sintactico

Analizador Léxico Sintáctico en Java

Language: Java - Size: 15.6 KB - Last synced at: 27 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0

Jaxan/nominal-lstar

Code for "Learning nominal automata"

Language: Haskell - Size: 163 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 11 - Forks: 1

MasWag/monaa

A Tool for Timed Patten Matching with Automata-Based Acceleration

Language: C++ - Size: 2.15 MB - Last synced at: 29 days ago - Pushed at: 7 months ago - Stars: 9 - Forks: 0

UnitexGramLab/unitex-core

Unitex/GramLab C++ Core

Language: C++ - Size: 95.5 MB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 22 - Forks: 24

tuke307/dhbw-formal-languages-and-automata

Language: C - Size: 71.3 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

vvulpes0/Language-Toolkit-2

A set of tools for analyzing languages via logic and automata

Language: Haskell - Size: 1.93 MB - Last synced at: about 19 hours ago - Pushed at: about 20 hours ago - Stars: 24 - Forks: 0

nazavode/automaton

A minimal Python finite-state machine.

Language: Python - Size: 154 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 23 - Forks: 2

LuisBoto/NeuralCellularAutomata

🧬 GPU-accelerated, fully parameterized neural cellular automata implemented on pure JavaScript using GPU.js

Language: JavaScript - Size: 3.51 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1

globalpolicy/LBMFluid

Fluid simulation using the Lattice Boltzmann Method in JavaScript.

Language: JavaScript - Size: 13.7 KB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 6 - Forks: 2

Nikolai2038/draw-io-automata-parser

Scripts for working with automata represented by diagrams in files *.drawio.

Language: Shell - Size: 238 KB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

knowsys/FormaleSysteme

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

Language: TeX - Size: 5.23 MB - Last synced at: 4 days ago - Pushed at: about 1 year ago - Stars: 44 - Forks: 14

elshorbagyx/automata-cli

A programmtic automata renderer and minimizer

Language: Python - Size: 188 KB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

pabloDeputter/Automata-Simulator

A C++ Automata simulator that models and visualizes automata using JSON inputs and generates .dot files for visualization. Built for the "Languages & Automata" 1st bachelor course at the University of Antwerp.

Language: C++ - Size: 4.96 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

luissaster/automata-theory

Este projeto foi desenvolvido para a disciplina SIN 131 - Introdução à Teoria da Computação, da Universidade Federal de Viçosa - Campus Rio Paranaíba, e tem como objetivo a conversão de autômatos finitos não determinísticos (NFA) em autômatos finitos determinísticos (DFA).

Language: Python - Size: 442 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

quanpersie2001/DFA-Converter

This tool is used to convert non-deterministic finite automata (NFA) to deterministic finite automata (DFA) through an interactive and visual interface.

Language: JavaScript - Size: 42 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1

fofajardo/fjflap

F's Modified Java Formal Languages and Automata Package (JFLAP) with semi-complete version history.

Language: Java - Size: 11.3 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

kcelebi/cellular-automata

Personal Cellular Automata Research with Machine Learning and Demonstrations.

Language: Jupyter Notebook - Size: 8.05 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 5 - Forks: 0

fabeezz/LFA

Formal Languages and Automata / Limbaje Formale și Automate / Y1S2

Language: Python - Size: 5.1 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

VictorAlves08/Teoria_da_Computacao-AFD_AFN

Este projeto implementa um sistema para manipular Autômatos Finitos Determinísticos (AFD) e Autômatos Finitos Não-determinísticos (AFN). Ele permite a conversão, simulação e minimização de autômatos, demonstrando a equivalência entre AFN e AFD, assim como a manipulação de uma Máquina de Turing, possibilitando a verificação de palavras em linguagem.

Language: Python - Size: 9.95 MB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

aflaag-notes/automata

My Automata notes.

Language: TeX - Size: 110 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

magnetrwn/margolus-cpp

Reversible cellular automaton simulator for Margolus neighborhood automata: from billiard ball, to gas diffusion, tron, and critters, or any other ruleset possible.

Language: C++ - Size: 1.53 MB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

drknzz/Deterministic-Finite-Automata

🔄 Deterministic Finite Automata simulator 🔄

Language: Prolog - Size: 92.8 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1

krichelj/ALIO_BGU_2020

Automata and Logic on Infinite Objects course, Computer Science M.Sc., Ben Gurion University, 2020

Size: 611 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

FaiazPronoy/BRACU_CSE331

CSE331 - Automata and Computability | Spring'24 | BRACU

Size: 3.83 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

hyeonjae/fsm

A simple finite state machine implementation

Language: Go - Size: 9.77 KB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 5 - Forks: 0

NilEis/RegExCompiler

A library for converting a regex to nfa and then to a dfa

Language: C# - Size: 755 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

William-Fernandes252/license-validator-automata

Autômato validator de placas veiculares do Mercosul.

Language: Jupyter Notebook - Size: 959 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

AlexStratou/Game-of-life

Conway's Game of Life

Language: Python - Size: 11.7 KB - Last synced at: 2 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

bertanimauro/cellularAutomata

3 variables - 256 different concepts - logic implication as a bitwise operator - addition translate in logical form

Size: 1.81 MB - Last synced at: 9 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

JnxF/grau-tc

:black_nib: Automaton Theory class notes

Language: TeX - Size: 1.14 MB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

micycle1/PFLAP

Processing Formal Languages and Automata Package

Language: Java - Size: 4.01 MB - Last synced at: 15 days ago - Pushed at: almost 6 years ago - Stars: 4 - Forks: 1

iprabhakar059/Live-Fonts

The user can enter a text, which will then be image processed to form points for circle packing. Then the circles will exhibit a seeking behaviour towards their initial position and be afraid of the mouse

Language: Python - Size: 2.93 KB - Last synced at: 10 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 1

GitPaulo/VisualAutomata

:abcd: An application which generates, visualises and simulates classic automaton.

Language: JavaScript - Size: 4.48 MB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

akashnag/autosim

An automata simulator written in Java, supporting Moore, Mealy, TM, DFA, NFA, DPDA, NPDA, CFG

Language: Java - Size: 54.7 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

sherwinshen/mut_learn_DOTAs

🔨 A prototype tool for learning DOTAs based on mutation testing.

Language: Python - Size: 342 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

sherwinshen/exact_learn_DOTAs

🔨 A prototype tool for learning DOTAs exactly.

Language: Python - Size: 45.9 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

jplane/DurableStateMachines

Bringing the power of hierarchical state machines to a .NET Core runtime near you.

Language: C# - Size: 1.22 MB - Last synced at: 23 days ago - Pushed at: over 4 years ago - Stars: 10 - Forks: 2

shaunazzopardi/clarva

Residual analysis/verification for Java programs

Language: Java - Size: 84.2 MB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

larsjuvik/game-of-life

A demo of John Conway´s Game of Life

Language: Rust - Size: 79.1 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

jonhoo/simio

I/O Automata Simulator

Language: Python - Size: 117 KB - Last synced at: 6 days ago - Pushed at: almost 5 years ago - Stars: 8 - Forks: 2

stwe/SgCityBuilder

A (simple) city building game

Language: C++ - Size: 4.54 MB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0

igrvlhlb/pytomaton

A library for simple automata simulation written in Python 3

Language: Python - Size: 60.5 KB - Last synced at: 10 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

pbayer/StateMachines.jl

State machines

Language: Julia - Size: 102 KB - Last synced at: 19 days ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 1

IRoyalX/Mini_CPP_Compiler

UNI S4: a mini CPP lexical and syntax analyzer written by c++

Language: C++ - Size: 2.74 MB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

truongd3/Automata

Projects submission for class CS 341: Foundations of Computer Science II

Language: C++ - Size: 2.24 MB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

Nithin1729S/C-Compiler-Phases

IT250 Mini Project to contruct a C Compiler using Lex, Yacc and Python

Language: Yacc - Size: 31.7 MB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

arindas/yapp

Yet Another Parser Parser

Language: Go - Size: 2.76 MB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

egene-chung/korean-automata

24_1학기_오토마타_과제_한글 입력을 검증하는 오토마타 구현

Language: Jupyter Notebook - Size: 112 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

Abbas2003/Automata-DFA

Automata Project

Language: JavaScript - Size: 7.81 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

contractautomataproject/CARE

A runtime environment for implementing applications specified via Contract Automata

Language: Java - Size: 8.1 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

Lipen/thesis

My PhD thesis

Language: TeX - Size: 43.4 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

jrte/ribose

Sugar for building and running context-free transducers in Java

Language: Java - Size: 35.3 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 2

duartebred/Algoritmos-Avancados-Bioinformatica

Repositório para apresentação de código desenvolvido pelo grupo 2 para a UC Algoritmos Avançados para a Bioinformática do Mestrado em Bioinformática, ano lectivo 23-24.

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

RobinPH/swiss

A code parser based around the idea of Finite State Machine, Automata, and Regular Expression

Language: TypeScript - Size: 337 KB - Last synced at: 5 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

D3struf/Tekbot-TUP-M-Chatbot

It is a Chatbot for our university TUP-M. This serves as our project in Automata. It only uses Natural Language Processing without training models performed.

Language: Python - Size: 128 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 2

meyer1994/regular

Project done for formal languages and compilers class

Language: JavaScript - Size: 1.05 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

89netraM/auto-automata

A library and web app for simulating finite automatas (DFA, NFA, and ε-NFA) and regular expressions.

Language: TypeScript - Size: 440 KB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

danielbinder/LogiVis

A teaching aid for concepts and algorithms in logic

Language: Java - Size: 15.5 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

contractautomataproject/ContractAutomataLib

The Contract Automata Library implements Contract Automata and their operations (e.g., composition, synthesis). This is the main repository of the Contract Automata Toolkit.

Language: Java - Size: 55.4 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 7 - Forks: 2

brucou/cycle-state-machine-demo

Non-trivial, real use case demo of a hierarchical state machine library with cyclejs

Language: JavaScript - Size: 2.7 MB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 28 - Forks: 3

chinmay1724/NITK-IT

This GitHub repository Consists of materials, code samples, documentation, and valuable resources related to the Information Technology (IT) Department at the National Institute of Technology Karnataka (NITK). 📚 Resource Library 💻 Code Samples 🗂️ Project Repositories

Language: Jupyter Notebook - Size: 58.7 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0