aligori/theory-of-computation

Assignments completed during the course Theory of Computation

Size: 1.3 MB - Last synced: 9 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

luciarap/simpleURL-analyzer

Lexical and Syntax Analyzer

Language: Python - Size: 1.07 MB - Last synced: 15 days ago - Pushed: 15 days ago - Stars: 0 - Forks: 0

danielbinder/LogiVis

A teaching aid for concepts and algorithms in logic

Language: Java - Size: 15.4 MB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 2 - 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: 24 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

eerii/pyyy

python lexical analyzer

Language: C - Size: 273 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

prekel/LangTheory

Теория автоматов и формальных языков (лабы)

Language: F# - Size: 21.1 MB - Last synced: about 1 month ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

Rosi-Eliz/regular-expression-parser

A utility tool used for validating regular expressions corresponding to a provided word

Language: C++ - Size: 750 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0

gdaguilarc/NFA-to-DFA

In a graphical way we transform a finite non-deterministic automate (NFA) to a deterministic finite automate (DFA)

Language: JavaScript - Size: 991 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 1 - Forks: 1

EyasWannous/python-compiler-GNU-flex-bison

python compiler written in C, cpp ( c++ ), lex and yacc with the assistance of GNU flex & bison

Language: C++ - Size: 2.68 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 2 - Forks: 1

Corentin-k/Automate

Gestion des Automates finis en python

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

yosra270/minijava-compiler

Mini-JAVA compiler using Flex & Bison.

Language: Yacc - Size: 1.83 MB - Last synced: 2 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

AntoniaPopovici/Mealy-Machine

Project for the university course Formal Languages and Automata Theory. The code implements a Mealy Machine using C++.

Language: C++ - Size: 446 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

brunocampos01/teoria-da-computacao

Aulas, exercícios e resumos das matérias: Introdução à Informática e Teoria da Computação.

Language: Python - Size: 39.7 MB - Last synced: 18 days ago - Pushed: over 2 years ago - Stars: 10 - Forks: 0

Reinforz/fauton

An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)

Language: TypeScript - Size: 6.28 MB - Last synced: 19 days ago - Pushed: about 1 year ago - Stars: 42 - Forks: 3

reity/nfa

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

Language: Python - Size: 94.7 KB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0

phattharaphorn/spelling-bee

🐝 This repository is Spelling Bee's project a Web Application for the Da Vinci Code Game.

Language: Python - Size: 403 KB - Last synced: 3 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

ricdotnet/finiteautomatons

Samples of algorithms to verify strings / words using finite machines.

Language: Java - Size: 10.7 KB - Last synced: 3 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

petak5/IZA-proj1

Language: Swift - Size: 18.6 KB - Last synced: 3 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

Kwasniok/haskell-finite-automata

finite automata

Language: Haskell - Size: 43 KB - Last synced: 4 months ago - Pushed: about 3 years ago - Stars: 2 - Forks: 0

elifozmen/Deterministic-Finite-Automata--DFA-

Please read the Design Report.

Language: Java - Size: 374 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

zevapt/lexical-analyser-and-parser

Tugas Besar Teori Bahasa dan Automata CCI2L3

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

monicahomescu/Mini-Language-Lexical-Analyzer

Scanner for a custom mini language.

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

mnrn/SimpleStateMachine

A Simple Finite State Machine implementation with C#

Language: C# - Size: 393 KB - Last synced: 7 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

amirkabiri/finite-automata

Graphical interface for designing finite automata

Language: JavaScript - Size: 223 KB - Last synced: 7 months ago - Pushed: over 3 years ago - Stars: 13 - Forks: 3

mthu/aag-priklady

Řešené příklady z předmětu BI(K)-AAG, původně určené jako materiál pro kombinované studenty ze ZS 2011/12

Language: TeX - Size: 92.8 KB - Last synced: 9 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

CoGian/FiniteAutomata

Implementation of Finite Automata(deterministic , non-deterministic and non-deterministic with ε transitions)

Language: Python - Size: 26.4 KB - Last synced: 10 months ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

sharyash81/TLA-Projects

Theory of languages and automata projects in forth semester of university

Language: Python - Size: 5.86 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

paulgriffiths/automata

Deterministic and nondeterministic finite automata and regular expressions in Go.

Language: Go - Size: 43.9 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

VictorNarov/SimAutomata

Simulador de Autómatas Finitos Deterministas (AFD) y Autómatas Finitos No Deterministas (AFND)

Language: Java - Size: 232 KB - Last synced: 10 months ago - Pushed: over 4 years ago - Stars: 15 - Forks: 2

norotaro/enumata

State machines for Eloquent models with Enums

Language: PHP - Size: 57.6 KB - Last synced: 9 days ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

jphmrst/scala-automata

Representations of various versions of finite automata in Scala.

Language: Scala - Size: 962 KB - Last synced: 11 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

Sai-Nandan-Desetti/Finite-Automata

Finite automata (written in C) designed to recognize typical programming language tokens.

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

mahmoudjobeel1/Compilers-Lab-Tasks

Language: Java - Size: 465 KB - Last synced: 12 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

Jimly-Firdaus/JavaScript-Linter Fork of JeffreyChow19/TubesTBFO

Simple javascript linter using Context-Free-Grammar, Cocke-Younger-Kasami, Chomsky-Normal-Form, Finite-Automata

Size: 955 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

AekarinOngart/Theory-of-Computation

01076121 THEORY OF COMPUTATION

Language: JavaScript - Size: 37.9 MB - Last synced: 23 days ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

andylamp/stanford_fin_auto

Collection of my solutions to the finite automata course (2016 version) offered by Stanford.

Language: TeX - Size: 1.88 MB - Last synced: 12 months ago - Pushed: almost 5 years ago - Stars: 3 - Forks: 0

albertusivan/Finite-Automata

Finite automata program made from a combination of two sub-programs, namely the lexical analyzer program and the parser program, this program will test a series of words in English.

Language: Python - Size: 96.7 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - 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: about 1 year ago - Pushed: over 5 years ago - Stars: 14 - Forks: 0

vitorCamargo/finite-automaton

👨🏽‍💻👏 Assignment for 'Formal Languages, Automata and Computability' subject about a simulation of Finite Automaton

Language: Python - Size: 278 KB - Last synced: 12 months ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 1

singhkunal2050/Game-of-Life

Conways Game of life representation in a web page

Language: CSS - Size: 310 KB - Last synced: about 1 year ago - Pushed: about 2 years 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: 12 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

NFestoso/Compiler

Front-end Platypus compiler implemented in C. Includes Buffer, Scanner, and Parser. Platypus is a language comprised of parts from a variety of other languages.

Language: C - Size: 65.4 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 5 - Forks: 1

CSchank/finsm

An Elm app for building and simulating deterministic and non-deterministic finite automata (DFAs and NFAs).

Language: Elm - Size: 448 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 9 - Forks: 5

aboqasem/web-finite-automata 📦

Web finite automata

Language: TypeScript - Size: 272 KB - Last synced: 12 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

kkd26/finite-automata-compiler

Basic implementation of Finite Automaton (DFA, NFA) with for basic compiler written in OCaml.

Language: OCaml - Size: 1000 Bytes - Last synced: about 1 month ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

memgonzales/turing-machine-variants

Interactive website for simulating variants of finite automata, Turing machines with 2D tapes, and k-queue automata

Language: JavaScript - Size: 419 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - 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: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0

hanzopgp/TPLanguageTheory

Language theory and compilation introduction TPs.

Language: Java - Size: 2.39 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

HarrisonWelch/CSCI-4350-Compiler-Design-Notes

Notes for Dr. Coleman's Compiler Design Class

Size: 107 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

Amirhossein-Rajabpour/Finite-Automata-simulator

Theory of machines and languages course project.

Language: Python - Size: 8.79 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 9 - Forks: 2

shubhdarlinge/simple-fsm

A simple state machine library.

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

Arsenic-ATG/Finite-Automata

A simple C++ library to simulate Finite Automata.

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

russibc/reglangrec

:clipboard: A regular language recognizer software using Finite Automata

Language: Java - Size: 108 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 4

Nishant2116/DFA-Transition-Table

Program to plot the Transition table to perform DFA in TOC.

Language: Jupyter Notebook - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

muhakbarhamid21/Finite-Automata-Text-Search

Aplikas Finite Automata Text Search menggunakan mesin nondeterministik finite automata (NFA) dengan menerapkan extended transition function (delta topi). Dalam text search, penerapan konsep NFA (Non-deterministic Finite Automata) dapat digambarkan saat kita diberi satu set string yang akan disebut dengan kata kunci (keyword), kemudian NFA akan menemukan kemunculan kata-kata yang akan kita inputkan. Dalam hal ini, selanjutnya akan dirancang NFA yang memberi sinyal dengan memasukkan kondisi penerimaan bahwa NFA telah melihat atau menemukan salah satu kata kunci tersebut. Akan diinputkan satu karakter pada satu waktu ke dalam NFA ini yang kemudian dapat mengenali kemunculan kata kunci (keyword) dalam teks ini.

Language: JavaScript - Size: 1.27 MB - Last synced: over 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

DanGooding/automata

Finite automata for regular languages

Language: Haskell - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

nikita-bachhas/DNA-Pattern-Matching

Analysing different pattern-searching algorithms when finding for substring occurrences in a given DNA main string

Language: Jupyter Notebook - Size: 7.85 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

shauryashaurya/CooleRE

coolRE (cooler) is a set of regular expression engines written in Python - implementing a toy engine for learning, then one based on backtracking and finally a NFA-DFA based engine.

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

cadt-g6/finite_automata

Web application to manage finite state machine!

Language: TypeScript - Size: 18.3 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0

nataliafonseca/pytomatos

Algoritimo para teste de automatos finitos deterministicos e não deterministicos utilizando python.

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

mjftw/automata

Fundamental computing machines implemented in Clojure.

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

deanone/Automaton

Native Java implementation of a an deterministic finite automaton.

Language: Java - Size: 1000 Bytes - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

Ruben9922/automaton-tool-react

React rewrite of my third-year project from university, an educational tool for finite automata. Currently in development.

Language: TypeScript - Size: 2.71 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

harmim/vut-ata-project2

Automatizované testování a dynamická analýza - Projekt - Implementace monitoru pro RV - Řízení vozíku v robotické továrně

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

tigertv/dfa

Deterministic finite automaton

Language: C++ - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0

angeligareta/finite-automaton-comparator

Implementation of a Finite Automaton Comparator in C++. The input finite automaton can be deterministic or non-deterministic.

Language: C++ - Size: 23.4 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

Pyxidatol-C/Regular-Language

Finite automata and regular languages

Language: Haskell - Size: 604 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 2 - Forks: 0

KevinDaSilvaS/automata-sequences-generator

Generate sequences to test your automata via web GUI

Language: JavaScript - Size: 12.7 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

MuntashirAkon/FiniteAutomataLabExperiments

Lab experiments of Finite Automata Theory course (CSE 2206 at RUET)

Language: C++ - Size: 13.7 KB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 2 - Forks: 0

gustawlippa/QFA

Quantum Finite Automata simulators implementations in Python.

Language: Python - Size: 84 KB - Last synced: 27 days ago - Pushed: 11 months ago - Stars: 2 - Forks: 0

abdallahabusedo/PatternSearch-Algorthims

Naive Algorithm, Rabin-Karp Algorithm, Finite Automata Algorithm, KMP Algorithm.

Language: C++ - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 1

vincentbudianto/TicTacToe

Command Line Interface (CLI) TicTacToe game created by implementing finite automata

Language: C - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

cherryDevBomb/LFTC

🖨️ Formal Languages and Compiler Design Uni Laboratory tasks

Language: Python - Size: 78.1 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

IamGroooooot/finite-automata-challenge

Finite Automata C#으로 구현해보기!

Language: C# - Size: 34.2 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

samWson/building-a-regexp-machine

A Regular Expression engine built with a State Machine.

Language: Smalltalk - Size: 24.4 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

kevinniland/Research-and-presentation-on-Michael-Rabin-and-Dana-Scott

:mortar_board: 4th year Research Methods in Computing and IT presentation. This presentation was on the 1976 Turing Award winners Michael O. Rabin and Dana S. Scott for their paprer, "Finite Automata and Their Decision Problem". The presentation and research on the award winners was carried out in conjunction with @cormacmchale

Size: 48.8 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

Eberty/geraLR

Automatic generation and animation of finite automata

Language: HTML - Size: 1.92 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

bkosm/finite-automaton-generator

Command line tool for generating JFLAP files containing random FA's.

Language: Python - Size: 35.2 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

andraantariksa/cit205-nfa-to-dfa

Non-deterministic Finite Automata to Deterministic Finite Automata converter

Language: C++ - Size: 22.2 MB - Last synced: 24 days ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

AhsanKhaan/AutomataAssignments

Implementation Of finite State Machines In JAVA

Language: Java - Size: 76.2 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

toransahu/rstr

Fork of leapfrogdevelopment/rstr from bitbucket

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

Phoenix-Effect/Finite-Automata-Verifier

A model verifier for finite automata written in C++

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