GitHub topics: automata-theory

Repositories

Mansafreo/PIE-Compiler

A Proof of concept compiler for a custom programming language

Language: Python - Size: 952 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 1

Harith-Y/cosmos-vault-iiit

A compilation of useful resources (I use Obsidian)

Language: Python - Size: 418 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

leeobazzana01/Automata_Conversion

A Python project for converting and visualizing finite automata using NetworkX, Pyvis, and Pandas.

Size: 21.5 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

amine-kherroubi/lexy

A C++ table-driven lexical analyzer generator. Compiles regex specifications into scanners with maximal munch tokenization.

Language: C++ - Size: 480 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

allexlima/AutomataTranslator

:flags: Conversor capaz de traduzir Autômatos Finitos Não Determinísticos em Autômatos Finitos Determinísticos. Projeto desenvolvido utilizando PyQt e JsonSchema, compatível com formatos JFLAP.

Language: Python - Size: 526 KB - Last synced at: 6 days ago - Pushed at: about 9 years ago - Stars: 3 - Forks: 1

A visual learning project demonstrating how Deterministic Finite Automata and Pushdown Automata work — allowing users to input strings, view transitions, and explore their key differences interactively.

Language: TypeScript - Size: 65.4 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0

akk382/grep-c

Grep implementation using Automata Theory in C

Language: C - Size: 10.7 KB - Last synced at: 17 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0

code-chaser/dfa-minimization

A program that takes a dfa as input and output its minimum equivalence states partitions.

Language: C++ - Size: 384 KB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 1 - Forks: 0

karthik-saiharsh/fsm-engine

A Figma like Editor to Design Custom Finite State Machines

Language: TypeScript - Size: 39.3 MB - Last synced at: 23 days ago - Pushed at: about 1 month ago - Stars: 40 - Forks: 2

viking-sudo-rm/rusty-dawg

Rust library for indexing and quickly searching large pretraining corpora

Language: Rust - Size: 852 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 29 - Forks: 4

zakrok/ts-automata

Automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS. @zakrok @sandemiroren1

Language: TypeScript - Size: 665 KB - Last synced at: 28 days ago - Pushed at: 2 months ago - Stars: 35 - Forks: 1

reali-705/tradutor-generico Fork of Gian-Figueiredo/automatos

Repositório para o projeto de Linguagens Formais, Autômatos e Computabilidade

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

lou1306/hoapp

HOA plus plus format for ω-automata beyond Booleans

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

whitemech/pythomata

A Python package for automata theory.

Language: Python - Size: 6.07 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 57 - Forks: 7

baquer/GATE-and-CSE-Resources-for-Students

📚 📖 📚CSE GATE Resources for GATE and CSE Aspirants 😎 😁 . Show your ❤️ by ⭐️⭐️

Size: 225 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 1,731 - Forks: 456

gnaplds/dfa-simulator

create and test deterministic finite automata

Language: JavaScript - Size: 45.9 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

nicholaswmin/fsm

stupid simple, finite-state machine 􀍟

Language: JavaScript - Size: 59.6 KB - Last synced at: 26 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

CS-Astronaut/Regex-To-Automata

A Tool for Drawing the DFA/NFA of a Regex for a Regular Language

Language: Python - Size: 534 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 4 - Forks: 0

alif2884/Telegram-Store-Bot-using-Mealy-Machine

A high school project simulating a Telegram shopping bot designed with a Mealy machine. It automates user interactions in a shopping scenario, such as browsing items, adding to cart, and confirming purchases, via a state-based model.

Size: 176 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

osteele/pyfsa 📦

Python FSA constructor, determinizer, and minimizer.

Language: Python - Size: 149 KB - Last synced at: 13 days ago - Pushed at: over 17 years ago - Stars: 11 - Forks: 6

tolisnr/Uni-Projects

This repository contains all of my projects implemented during my studies in the department of Applied Informatics at University of Macedonia

Language: Java - Size: 13.3 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 1

ozan2003/dfa

Implementation of State Machine based on Deterministic Finite Automaton.

Language: Python - Size: 140 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

root-hbx/Compilers-NJU-2024Spring

Compilers_Spring_2024 is a repo containing the notes and supplementary materials of "Compilers: Principles, Techniques, and Tools"

Size: 175 MB - Last synced at: 19 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

domamaric/UTR

Introduction to Theoretical Computer Science laboratory exercises - Python solutions.

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

jaxcksn/FSMD

A python CLI tool for creating diagrams of finite state machines.

Language: Python - Size: 37.1 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 1

initrm/bachelor-thesis

Bachelor thesis in Computer Science @ University of Milan "La STATALE"

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

MuhammadSarimWaseem/LangZ

LangZ. It is our custom language inspired from Python and C++.

Language: Python - Size: 3.72 MB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

mark-siazon/Automata-Case-Studies-WinXP_Theme

A Windows XP–style desktop collection of automata topics developed by J. Villarosa & M. Siazon as part of our mid-term to final project for AUTOMATA.

Language: TypeScript - Size: 3.12 MB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

rgglez/automata-theory

Some Prolog code on automata theory.

Language: Prolog - Size: 29.3 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

Hifza-Khalid/FormalMethodsInSE

🔍A deep dive into Formal Methods in Software Engineering 📜—exploring automata, logic, verification, and specification techniques to ensure software correctness and reliability.

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

mark-siazon/Automata-Case-Studies-3-ACSAD 📦

A curated collection of websites developed by our section 3-ACSAD (SY 2024–2025) as part of our final project for AUTOMATA. Compiled and maintained by M. Siazon. (Me)

Language: Astro - Size: 5.64 MB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0

voaidesr/formal-languages-and-automata

Repository containing first-year university homework assignments for Formal Languages and Automata.

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

wip-cwc/compiler-for-a-c-mini-grammar

The project includes a lexer, a parser and a three-address-code (quadruples) generator. The lexer scans a C source file and produces token output, which is then fed to the recursive descent parser which generates a parse tree. Translations for the parse tree are defined in the TAC generator which then displays quardruples code in the terminal.

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

ThisIsAntonio/Compilers_NatA_Lang

NatA Lang is an educational language and compiler built in C to explore reader, scanner, and parser stages using formal models like REs and BNF.

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

LiinaRodriguez/kaze

🍁 lenguaje personalizado que permita definir de forma simple y legible diagramas jerarquicos y de flujo con propiedades visuales.

Language: JavaScript - Size: 351 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

Metroidzeta/Model-Checker-CTL

Model Checker CTL (simple) en Java, que j'ai réalisé en M2 Informatique parcours Programmation et Logiciels Sûrs

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

NikolasKekelak/TuringMachineEditor

A nerdy IDE to play with Turing Machines, grammars, and much more!

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

nikhil-RGB/minor-project

Combination of a Turing Machine Generator, Connway's Game of Life and some other FLA core concepts and novelties for my minor project.

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

NaveenMaurya749/AutomataLean

This project aims to formalize some concepts of Automata Theory and Parsing into Lean4 Theorem Prover. This was a course project for the course 'Proofs and Programs' offered by Prof Siddhartha Gadgil at IISc, Spring 2025.

Language: Lean - Size: 18.6 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

hoangvu1118/ValiFA

ValiFA - Validator for Finite Automata, it check if a given string is accepted by a DFA or a NFA

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

Dentrax/Finite-State-Machine

Finite State Machine Library for .NET Core (with EASY and ADVANCED implementation)

Language: C# - Size: 35.2 KB - Last synced at: 6 months ago - Pushed at: over 7 years ago - Stars: 20 - Forks: 16

Kerciu/data-structures-and-algorithms

Basic DSA & computional theory stuff implemented in Python

Language: Python - Size: 1.37 MB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

mkantrr/automython

A simplistic programming language interpreter to Python to help students grasp finite automata theory programmatically and with a computed graph through visualization libraries.

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

oguzhansarigol/Seferify

Eco-Friendly Daily Car Application Developed in C# Based on User Requirements

Size: 22.2 MB - Last synced at: 11 days ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

de7ign/automata

Web Application to play with finite state machines and run algorithms on top of the finite state machines

Language: TypeScript - Size: 3.09 MB - Last synced at: 4 months ago - Pushed at: 7 months ago - Stars: 6 - Forks: 1

szym-mie/dfa-minimizer

Small utility for helping minimize DFAs in Automata Theory

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

devangi2000/Compiler-Design

A repository containing all experiments for the course Compiler Design.

Language: Python - Size: 443 KB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 28 - Forks: 11

school-Tygo-van-den-Hurk/TUe-2IRR90-Automata-and-Formal-Languages-2024-2025 📦

Automata and Formal Languages is a course about Automata and the different types of languages you can prove with them. In this repository I'll be making the homework assignments.

Language: TeX - Size: 18.6 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

amir-azari/DFA-Minimizer-JavaFX

A JavaFX-based tool for visualizing, editing, and minimizing DFAs (Deterministic Finite Automata), enabling users to efficiently create, optimize, and work with state machines in a user-friendly interface.

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

toduko/languages-automata-and-computability

Материалите ми за упражнения по "Езици, автомати и изчислимост"

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

nrobledosagredo/turing-machine-simulator

A Turing machine simulator based on automata theory, allowing users to define transitions, states, and evaluate words to determine their membership in a language.

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

Electrostat-Lab/Project-talk

A repository housing useful models to neatly describe any project in an interview or a conference.

Language: HTML - Size: 959 KB - Last synced at: 8 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0

onurakkaya/nfa-to-dfa-conversion

FlyWeight Finite Automata Simulator

Language: C# - Size: 73.2 KB - Last synced at: 7 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

joxyle-jhon/SafeTomata

SafeTomata is a simple web application that includes features like brute force protection, SQL injection prevention, and XSS mitigation.

Language: JavaScript - Size: 780 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

dfleta/bowling-game-kata-automata

Bowling game kata implementing finite state machine or automata

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

Pedram2004/finite-automata-project

Actions set around Finite Automata theory (Project in Fall Semester of 2024 for Formal languages and Automata class)

Language: C++ - Size: 151 KB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

hadis98/IUT

All my projects, homework, hand writings, course slides and anything I have learned and done during my studies at IUT😊. feel free to give it a ⭐=)

Language: Jupyter Notebook - Size: 2.02 GB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 32 - Forks: 2

rod-trejo/TeoriaComputacion

Desarrollo de prácticas de la materia de teoría de la computación y autómatas

Language: Python - Size: 36.4 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Teoyed/String-Checker

A parser that checkes if the given string belongs to a grammer or not. GUI with Tkinter. This is a project for my Automata Theory course at my fourth semester studying computer engineering.

Language: Python - Size: 1000 Bytes - Last synced at: 8 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

arghyawning/my-iiith

I am a UG2k21 dual degree student at IIIT Hyderabad in the CHD program. This is my attempt to include all my coursework, hoping it might come in handy to others.

Language: Jupyter Notebook - Size: 618 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 3 - Forks: 1

mrigankpawagi/PBT4Automata

Property Based Testing for Finite Automata and Context-free Grammars

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

m-riley04/EECS-510-Final-Project

The Final Project for EECS 510 - Theory of Computing

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

Rickyoung221/UCLA-CS181-SUM2020

Introduction to Formal Languages and Automata Theory | Instructor: Profressor Burgin | Grade Received: A

Size: 3.53 MB - Last synced at: 13 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

vinukavinnath/lexical_analyzer

The Lexical Analyzer (Lexer) for arithmetic expressions is a Python-based tool that tokenizes input strings, transforming them into meaningful units called tokens

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

MuhammadAusafJamal/Date-Time-Format-Validator

This repository contains a Date-Time Format Validator, developed as the final project for Semester 5 in the course BSCS-501: Theory of Computation. The project demonstrates the implementation of various date and time format validations using JavaScript, complemented by a responsive and interactive interface designed with Bootstrap.

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

andreiOpran/Deterministic-Finite-Automaton-Emulator

Deterministic Finite Automaton Emulator in C++

Language: C++ - Size: 32.2 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - 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: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

SalmanRajpuat/Implementation-of-any-Automaton-using-java

Automaton using java , in this we have implemented automata using java , we have added a default automaton and

Size: 9.77 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

l-flat/lflat

L-FLAT - Logtalk Formal Language and Automata Toolkit

Language: Logtalk - Size: 234 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 7 - Forks: 3

ZigRazor/CXXAutomata

A C++ library for simulating automata and Turing machines

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

GuiDev115/convert-CFG-to-CNF

Convertedor de uma Gramática Livre de Contexto para Gramática Forma Normal de Chomsky

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

dbseitenfus/reversible-turing-machine-simulator

Este projeto é um simulador de uma Máquina de Turing Reversível. Ele executa simulações de autômatos baseados em quíntuplas, que são convertidos em quádruplas para garantir reversibilidade lógica.

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

ark2016/Discrete-Math

Discrete Math from BMSTU on golang

Language: Go - Size: 74.2 KB - Last synced at: 8 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

pedrooaugusto/speech-to-code

Speech to Code - Enables you to code using just your voice.

Language: TypeScript - Size: 24.6 MB - Last synced at: 11 months ago - Pushed at: over 3 years ago - Stars: 79 - Forks: 11

elshorbagyx/automata-cli

A programmtic automata renderer and minimizer

Language: Python - Size: 188 KB - Last synced at: 6 months ago - Pushed at: almost 2 years 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: about 1 year ago - Pushed at: about 1 year 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: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

navidadkhah/CYK-algorithm

Automata Theory and Formal Languages algorithm for check them

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

MaximLevchenko/CPP-Projects

This repository features my university projects, where I applied concepts like algorithms, data structures, dynamic programming, automata theory, grammars, multithreading, and concurrent programming in C++.

Language: C++ - Size: 20.1 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0