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 at: 2 months ago - Pushed at: over 9 years ago - Stars: 30 - Forks: 4

zmij/afsm

C++14 Finite State Machine library

Language: C++ - Size: 5.92 MB - Last synced at: 30 days ago - Pushed at: over 4 years ago - Stars: 173 - Forks: 25

ArchonInteractive/SwissArmyLib 📦

Collection of helpful utilities we use in our Unity projects.

Language: C# - Size: 9.62 MB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 196 - Forks: 20

cgiff9/tmfuck

A simple free-form interpreted language for building Turing machines and other automata

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

Gyakobo/Recognizing-context-free-languages-with-a-PDA

The following project should define a PDA that in its turn would recognize a specific context-free language.

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

ZigRazor/CXXAutomata

A C++ library for simulating automata and Turing machines

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

micycle1/PFLAP

Processing Formal Languages and Automata Package

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

FezaiTech/pdaft

PDAFT is a Pushdown Automaton (PDA) simulation example that checks the validity of a given mathematical expression.

Language: Python - Size: 2.31 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 1 - 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 at: 10 months ago - Pushed at: almost 4 years ago - Stars: 7 - 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 at: 3 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

nemkin/thalg-notes

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

Language: TeX - Size: 13.2 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

aneshodza/pushdown-automaton

Allows users to create (deterministic) pushdown automata

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

CROSSINGTUD/SPDS 📦

Efficient and Precise Pointer-Tracking Data-Flow Framework

Language: Java - Size: 79.3 MB - Last synced at: about 1 year ago - Pushed at: almost 4 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 at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

gazdimi/Compilers

Teamwork project for the Compilers course

Language: C - Size: 2.48 MB - Last synced at: about 1 year ago - Pushed at: over 4 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 at: about 1 year ago - Pushed at: over 6 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 at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

Cave-8/Pushdown-Automaton

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

Language: C - Size: 27.3 KB - Last synced at: over 1 year ago - Pushed at: over 1 year 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 at: over 1 year ago - Pushed at: about 2 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 at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

eug/cuckoo

Framework for creating automatons

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

DannyPeck/expression_calculator

Expression Calculator using Top Down Derivation

Language: C++ - Size: 88.9 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0

koromodako/INSA-4IF-Lutin-Interpreter 📦

Interpreter for Lutin language

Language: C++ - Size: 597 KB - Last synced at: almost 2 years ago - Pushed at: over 6 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 at: 8 months ago - Pushed at: almost 2 years 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 at: 2 months ago - Pushed at: over 7 years ago - Stars: 4 - 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 at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

mvukic/UTRLabosi 📦

UTR FER2 2014./2015

Language: Java - Size: 760 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

IuraCPersonal/lfpc 📦

🤖Formal Languages ​​and Compiler Design

Language: Python - Size: 349 KB - Last synced at: over 2 years ago - Pushed at: over 2 years 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 at: over 2 years ago - Pushed at: over 2 years 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 at: over 2 years ago - Pushed at: over 6 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 at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

ged/pushdown

A pushdown automaton toolkit for Ruby.

Language: Ruby - Size: 126 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

Kerollmops/oxidized-json-checker

A pushdown automaton low memory JSON bytes stream checker

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

sskender/automata-theory

Introduction to automata theory, languages and computation

Language: Python - Size: 412 KB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

BogdanKocsis/FormalLanguagesAndCompilers

Language: C++ - Size: 133 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

timdolenko/present-tense

Affirmative sentence generator

Language: C# - Size: 309 KB - Last synced at: about 2 years ago - Pushed at: almost 4 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 at: over 2 years ago - Pushed at: almost 4 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 at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

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 at: 2 days ago - Pushed at: about 1 year 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 at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

europ/VUTBR-FIT-TIN

VUTBR - FIT: TIN 2018/2019

Language: TeX - Size: 13.4 MB - Last synced at: 26 days ago - Pushed at: over 6 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 at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

timdolenko/grammarton

Context-free grammar to pushdown automaton C# converter

Language: C# - Size: 12.7 KB - Last synced at: about 2 years ago - Pushed at: over 7 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 at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

timdolenko/pushdown-automaton

Language: C# - Size: 71.3 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

losvald/theory-of-computation-course

PushDown Automata & Turing Machine simulators

Language: C++ - Size: 223 KB - Last synced at: about 2 years ago - Pushed at: over 10 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 at: almost 2 years ago - Pushed at: about 9 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 at: about 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0