cgiff9/tmfuck

A simple interpreted language for building Turing machines and other automata

Language: C - Size: 259 KB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 1 - Forks: 0

Gyakobo/Recognizing_context_free_languages_with_a_PDA

Language: Shell - Size: 86.9 KB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 0 - Forks: 0

ArchonInteractive/SwissArmyLib 📦

Collection of helpful utilities we use in our Unity projects.

Language: C# - Size: 9.62 MB - Last synced: 18 days ago - Pushed: over 4 years ago - Stars: 189 - Forks: 19

aneshodza/pushdown-automaton

Allows users to create (deterministic) pushdown automata

Language: TypeScript - Size: 109 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

CROSSINGTUD/SPDS 📦

Efficient and Precise Pointer-Tracking Data-Flow Framework

Language: Java - Size: 79.3 MB - Last synced: 29 days ago - Pushed: almost 3 years ago - Stars: 39 - Forks: 38

jackr276/Context-Free-Language-Recognition-with-a-PDA

Implementation of a Pushdown Automaton that recognizes strings belonging to a language valid arithmetic expressions over floating point numbers

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

gazdimi/Compilers

Teamwork project for the Compilers course

Language: C - Size: 2.48 MB - Last synced: about 2 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

CristianAbrante/PushdownAutomaton

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

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

Daviddp96/pushdown-automata

Simple deterministic pushdown automata simulator assignment for CS Degree @ Central University of Venezuela

Language: C++ - Size: 3.91 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 1 - Forks: 1

zmij/afsm

C++14 Finite State Machine library

Language: C++ - Size: 5.92 MB - Last synced: 3 months ago - Pushed: over 3 years ago - Stars: 165 - Forks: 23

Cave-8/Pushdown-Automaton

A simulator for Deterministic Pushdown Automaton (configurable from plain txt file).

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

JulianRivers/Simulador-automata-pila

Simulador de automata pila con 4 lenguajes validados hecho en Java swing

Language: Java - Size: 428 KB - Last synced: 8 months ago - Pushed: 12 months ago - Stars: 1 - Forks: 0

sskender/automata-theory

Introduction to automata theory, languages and computation

Language: Python - Size: 412 KB - Last synced: 9 months ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

flawreen/LFA-Game-Engine-Exam

This game engine was a task for the formal languages and automata exam, University of Bucharest

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

eug/cuckoo

Framework for creating automatons

Language: Java - Size: 770 KB - Last synced: 10 months ago - Pushed: almost 9 years ago - Stars: 6 - Forks: 0

DannyPeck/expression_calculator

Expression Calculator using Top Down Derivation

Language: C++ - Size: 88.9 KB - Last synced: 10 months ago - Pushed: about 7 years ago - Stars: 2 - Forks: 0

koromodako/INSA-4IF-Lutin-Interpreter 📦

Interpreter for Lutin language

Language: C++ - Size: 597 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

jeffque/bash-java-enums-parser-butwhyyy

A jornada para fazer um parser de enums java em bash

Language: MDX - Size: 1.37 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

Harsha-Vardhan-Tangudu/Theory-Of-Computation-Designing-PDA-Turingmachine-Safe-Submarine-Battle

Designing Pushdown Automata and Turing machine for Safe Submarine Battle

Size: 405 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

rafael-santiago/expr

A very simple code showing the technique of how to solve expressions using RPN.

Language: C - Size: 51.8 KB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 4 - Forks: 0

nemkin/thalg-notes

Solutions to practice session exercises from Theory of Algorithms at BUTE.

Language: TeX - Size: 11.3 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

Retamogordo/fi-night

Statically-typed Finite State Machine and Pushdown Automaton implemented with Rust procedural macro

Language: Rust - Size: 38.1 KB - Last synced: 20 days ago - Pushed: over 2 years ago - Stars: 6 - Forks: 0

girish-io/shuntingyard

An implementation of the shunting yard algorithm by Edsger Dijkstra and a postfix stack evaluator.

Language: Java - Size: 12.7 KB - Last synced: 12 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

mvukic/UTRLabosi 📦

UTR FER2 2014./2015

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

IuraCPersonal/lfpc 📦

🤖Formal Languages ​​and Compiler Design

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

GustavoMartinx/Parser

Implementation of a parser for arithmetic expressions in the C- programming language through a pushdown automaton (PDA).

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

mmerabet42/ft_lexiq

A generic syntactic and lexical analyzer (context-free grammar)

Language: HTML - Size: 1.06 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 7 - Forks: 1

Retamogordo/parser-pda

Parser demonstrating implementation of pushdown automaton using fi-night crate

Language: Rust - Size: 13.7 KB - Last synced: 15 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ZigRazor/CXXAutomata

A C++ library for simulating automata and Turing machines

Language: C++ - Size: 68.4 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 4 - Forks: 3

ged/pushdown

A pushdown automaton toolkit for Ruby.

Language: Ruby - Size: 126 KB - Last synced: 16 days ago - Pushed: over 2 years ago - Stars: 1 - Forks: 1

ilyasergey/reachability

Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language

Language: Scala - Size: 23.3 MB - Last synced: 10 months ago - Pushed: over 8 years ago - Stars: 27 - Forks: 4

Kerollmops/oxidized-json-checker

A pushdown automaton low memory JSON bytes stream checker

Language: Rust - Size: 63.5 KB - Last synced: 19 days ago - Pushed: over 2 years ago - Stars: 13 - Forks: 1

BogdanKocsis/FormalLanguagesAndCompilers

Language: C++ - Size: 133 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

timdolenko/present-tense

Affirmative sentence generator

Language: C# - Size: 309 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

hellsdeur/Pushdown-Automaton

Implementation of a Pushdown Automaton, the recognizer module of Context-Free Languages.

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

behzadshomali/Pushdown_automaton

In the theory of computation, a pushdown automaton (PDA) is a type of automaton that employs a stack. In this program, a PDA is going to be constructed by the input grammar.

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

micycle1/PFLAP

Processing Formal Languages and Automata Package

Language: Java - Size: 4.01 MB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 4 - Forks: 1

Archetipo95/Esercizi-Automi-e-Linguaggi-Formali

Raccolta esercizi svolti in jflap 8 beta durante il corso di Automi e Linguaggi Formali.

Language: HTML - Size: 24.8 MB - Last synced: 4 days ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

howlettjames/Introduction-To-Automata-Complexity-Theory

This repository contains practices and projects related to the subject Introduction to Automata and Complexity Theory at ESCOM - IPN.

Language: C - Size: 4.66 MB - Last synced: 12 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

europ/VUTBR-FIT-TIN

VUTBR - FIT: TIN 2018/2019

Language: TeX - Size: 13.4 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 5 - Forks: 2

congma/checkimpcont

Check string literal concatenation by implicit line continuation in Python souce.

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

timdolenko/grammarton

Context-free grammar to pushdown automaton C# converter

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

DauteRR/PushdownAutomaton

Pushdown automaton simulator developed as an assignment for Computational Complexity course :books: :computer:

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

timdolenko/pushdown-automaton

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

losvald/theory-of-computation-course

PushDown Automata & Turing Machine simulators

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

pero5ar/FER.UTR

tasks of the Introduction to Theoretical Computer Science course @ FER, University of Zagreb

Language: C# - Size: 702 KB - Last synced: 11 months ago - Pushed: almost 8 years ago - Stars: 1 - Forks: 0

coppolaop/Pushdown-Automaton

Application of Pushdown Automatons using the Design Pattern Factory Method

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