NikolasKekelak/TuringMachineEditor

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

Language: Java - Size: 1.54 MB - Last synced at: 1 day ago - Pushed at: 1 day 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: 4 days ago - Pushed at: 4 days 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: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

ozan2003/dfa

Implementation of Deterministic Finite Automaton as Graph.

Language: Python - Size: 72.3 KB - Last synced at: 9 days ago - Pushed at: 9 days 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: 10 days ago - Pushed at: 10 days 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: TypeScript - Size: 76.2 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

voaidesr/formal-languages-and-automata

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

Language: Python - Size: 182 KB - Last synced at: 13 days ago - Pushed at: 13 days 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: 5.86 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 3 - 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: 11 days ago - Pushed at: about 7 years ago - Stars: 20 - Forks: 16

viking-sudo-rm/rusty-dawg

Rust library for indexing and quickly searching large pretraining corpora

Language: Rust - Size: 906 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 26 - Forks: 4

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: 20 days ago - Pushed at: 20 days ago - Stars: 1 - Forks: 0

rezi-gelenidze/homemade-regex-engine

A pure regular expression engine in Java that supports regular language features using finite automata.

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

whitemech/pythomata

A Python package for automata theory.

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

szym-mie/dfa-minimizer

Small utility for helping minimize DFAs in Automata Theory

Language: Python - Size: 5.86 KB - Last synced at: about 1 month ago - Pushed at: 8 months 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: 20 days ago - Pushed at: about 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: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

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: about 1 year ago - Stars: 1,555 - Forks: 411

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: 2 months ago - Pushed at: 2 months ago - Stars: 8 - Forks: 0

toduko/languages-automata-and-computability

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

Language: TeX - Size: 3.14 MB - Last synced at: 2 months ago - Pushed at: 2 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: about 2 months ago - Pushed at: 2 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: about 2 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

onurakkaya/nfa-to-dfa-conversion

FlyWeight Finite Automata Simulator

Language: C# - Size: 73.2 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1 - 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: 5 days ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0

Zakrok09/ts-automata

TS-AUtomata is an automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS.

Language: TypeScript - Size: 274 KB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 30 - Forks: 0

LugolBis/lumo

Command line tool for Automata

Language: Shell - Size: 27.3 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 0 - 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: 3 months ago - Pushed at: 3 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: about 1 month ago - Pushed at: 4 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: 4 months ago - Pushed at: 4 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: 4 months ago - Pushed at: 4 months ago - Stars: 32 - Forks: 2

jaxcksn/FSMD

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

Language: Python - Size: 37.1 KB - Last synced at: 29 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 1

nicholaswmin/fsm

a finite-state machine

Language: JavaScript - Size: 59.6 KB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 0 - 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.08 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 1

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: 3 months ago - Pushed at: 11 months 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: 5 months ago - Pushed at: 5 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: about 1 month ago - Pushed at: 5 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: 5 months ago - Pushed at: 5 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: about 1 month ago - Pushed at: 5 months ago - Stars: 0 - 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: 2 months ago - Pushed at: 5 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: 5 months ago - Pushed at: 5 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: 5 months ago - Pushed at: 5 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: 6 months ago - Pushed at: 6 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: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

rgglez/automata-theory

Some Prolog code on automata theory.

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

l-flat/lflat

L-FLAT - Logtalk Formal Language and Automata Toolkit

Language: Logtalk - Size: 234 KB - Last synced at: 6 months ago - Pushed at: 6 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: about 1 month ago - Pushed at: almost 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: 7 months ago - Pushed at: 7 months 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: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

ark2016/Discrete-Math

Discrete Math from BMSTU on golang

Language: Go - Size: 74.2 KB - Last synced at: 2 months ago - Pushed at: about 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: 5 months ago - Pushed at: about 3 years ago - Stars: 79 - Forks: 11

elshorbagyx/automata-cli

A programmtic automata renderer and minimizer

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

Kerciu/data-structures-and-algorithms

📚💡 Algorithms & Data Structures implemented in Python 🐍 — A collection of various algorithms and data structures, all implemented in Python. This repository covers essential concepts and practical implementations to help understand and master these foundational elements of computer science. 🚀🔍

Language: Python - Size: 1.37 MB - Last synced at: 2 months ago - Pushed at: 9 months ago - Stars: 0 - 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

navidadkhah/CYK-algorithm

Automata Theory and Formal Languages algorithm for check them

Language: Python - Size: 2.93 KB - Last synced at: 8 months ago - Pushed at: 8 months 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: 3 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

flarelabstfx/Grail-Visualisation

The Grail+ Visualizer is a software tool for visualizing finite automata produced by Grail+.

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

agicy/buptLab-cfg_pda 📦

北京邮电大学 2023-2024 春季学期《形式语言与自动机》课程实验——上下文无关文法（CFG）与下推自动机（PDA）

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

Makarov-Danil-School-Projects-CTU/minimal-DFA

Language: C++ - Size: 10.7 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

ceenaa/nfa-to-dfa

NFA to DFA Converter and Sequence Validator with python

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

severen/turing-tarpit

An educational environment for exploring automata, Turing machines, and the λ-calculus.

Language: TypeScript - Size: 611 KB - Last synced at: 21 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0

Asma11za/Pharmacy_Vending_Machine

Design a pharmacy vending machine using Finite State Machines.

Language: Python - Size: 3.38 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

Abhinav-Chdhary/FSMcreator

An application to create Finite state machines and export them as images

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

b30wulffz/automata-toolkit

A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.

Language: Python - Size: 56.6 KB - Last synced at: 9 months ago - Pushed at: almost 4 years ago - Stars: 13 - Forks: 1

umarwaseeem/BS-CS-Semester-5

Semester 5 course material for BS Computer Science at Fast National University Of Computer And Emerging Sciences

Size: 29.6 MB - Last synced at: 10 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

ahmedrafat-SW/Lexical-Analyzer

Learn how to convert human readable text into machine readable data using the StringTokenizer and StreamTokenizer classes

Language: Java - Size: 10.7 KB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

kaloyandimov/nondeterministic-finite-automaton

Object-Oriented Programming Course Project :books:

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

grachale/intersect_union_regular_languages

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.

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

bursasha/cpp-advanced-projects

Advanced programming and algorithmization in C++ ⚔️

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

Hamx9/Image-to-ASCII

image to ASCII conversion is a fascinating endeavor that involves converting images into ASCII art. This involves representing images using characters from the ASCII character set, creating a unique art

Language: HTML - Size: 146 KB - Last synced at: 11 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

gabychaves/Compilers

Implementações de projetos relacionados à teoria da computação e compiladores

Language: Java - Size: 90.8 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

gabrielSantosLima/automata-theory

⚙Computational models

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

shreshth65968/theory-of-computation

Lecture screenshot notes of theory of computation (Automata theory):- DFA,NFA,CGF,CFL ,Turing Machine,credits @GATEHB Youtube

Size: 179 MB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

JMaravalhasSilva/FUMAC

A project made to apply C++ and automata theory knowledge for a college class called FUMAC. Can remove non-accessible and non-coaccessible states. Can also convert NFAs to DFAs.

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

iwilare/categorical-automata

Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272

Language: Agda - Size: 578 KB - Last synced at: 9 months ago - Pushed at: 12 months ago - Stars: 15 - Forks: 1

Skidis17/Automate

Ce dépôt est consacré au projet du theorie des langages sur les Automates

Language: C - Size: 12.7 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

SerenGTI/Theo_Inf

Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart

Language: TeX - Size: 9.13 MB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 0

aniksarakash/asa24x7

Language: C - Size: 6.08 MB - Last synced at: 12 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

JunaidSalim/Lexical_Analyzer

This is our Formal Languages and Automata Theory Project. This repo contains Program of Lexical Analyzer for C++ that will tokenize C++ program.

Language: Lex - Size: 3.91 KB - Last synced at: about 1 month ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

OrfeoTerkuci/Automata 📦

Automata implementations

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

AlekseyKorshuk/FSAtoRegExp

FSA to RegExp Translator

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

danielbal21/BMC_Path_Planning

Solve grid-based pathfinding challenges efficiently. Our tool transforms grids into SAT problems using Kripke Structures and Boolean formulas, ensuring step-by-step validity while avoiding collisions. Simplify navigation in dynamic environments with central and dynamic agents.

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

skoom21/RegXplorer

RegXplorer a custom implementation of a basic regex search engine from scratch built on cpp

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

mynttt/CYK-algorithm

Java implementation of the CYK algorithm.

Language: Java - Size: 17.6 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 10 - Forks: 8

Zeinahesham308/DFA_Minimizer

DFA Minimization

Language: C++ - Size: 7.81 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

fowwo/finite-state-automata

(In Development) A web app for creating and executing finite state automata and designing state diagrams for visualizing machines.

Language: JavaScript - Size: 305 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

geekabhinav007/TOC-Short

In this Repo you can find CheatSeat for Theory of Computation and last minutes notes for your semester.

Size: 3.65 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

wdsrocha/automatos-exercicios

Projetos práticos referentes à disciplina de Fundamentos Teóricos da Computação, lecionada por Elloá B. Guedes para o curso de Sistemas de Informação na UEA (2017.2).

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

vaimon/FiniteStateAutomata

Reads a non-deterministic automata from file and applies determinization algorithm to it.

Language: C++ - Size: 47.9 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

faridfr/Optimizing_Finite_Automata

PHP script with web interface that can optimize & draw your finite automata

Language: PHP - Size: 1.63 MB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 12 - Forks: 0

CristianAbrante/TuringMachineSimulator

Turing machine simulator in java programming language for learning purposes

Language: Java - Size: 1.24 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

utkuaydin/finite-automata

CMP3004 - Formal Languages and Automata Theory Course Project

Language: C++ - Size: 1.64 MB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 6 - Forks: 1

Zabuzard/Buechi-Minimization-FairSimulation_thesis

Bachelor's thesis about the topic 'Minimization of Büchi Automata using Fair Simulation'.

Language: TeX - Size: 1.31 MB - Last synced at: 2 months ago - Pushed at: about 9 years ago - Stars: 2 - Forks: 0

hycinth22/TuringMachine

[ “形式语言与自动机”实验：模拟两带图灵机，并实现了函数f(a,x,b,y)=a*x^2+b*y ][ Simulating two tape Turing machine which implements the function f(a,x,b,y)=a*x^2+b*y ]

Language: C++ - Size: 4.88 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

andreasabel/agda-automata

Formalisation of automata in Agda

Language: Agda - Size: 218 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 0

berkcetinsaya/AutomataTheory

This is a search program using naive search and finite state machine algorithms.

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

CristianAbrante/PushdownAutomaton

Implementation of a pushdown automaton (PDA) in Java for learning purposes

Language: Java - Size: 604 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 4

porplax/MonotaurVM 📦

Virtual Machine.

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

rushilrai/FLA-WebApp

Web Application for building and testing Automata.

Language: HTML - Size: 396 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1