GitHub topics: theory-of-computation
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: 4 days ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 1
anishLearnsToCode/state-diagram-generator
Language: TypeScript - Size: 8.23 MB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 2
joshuacrotts/deterministic-pushdown-automata-parser 📦
This is a deterministic pushdown automata project for my Theory of Computation course.
Language: Java - Size: 2.82 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0
tsunoppy/twoWaySlab
Two way slab analysis by Fourier Method
Language: Python - Size: 3.84 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
ablazecodes/compiler_construction
Programs in the domain of Compiler Construction and Automata Formal Language. Some of the problems included are
Language: C++ - Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
sanand34/CFG-to-CNF
CFG to CNF in java by taking user inputs
Language: Java - Size: 63.5 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
PratikSavla/compiler-design-lab
These are my programs for compiler design lab work in my sixth semester
Language: Python - Size: 60.5 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 52 - Forks: 22
eriksonJAguiar/Livre-de-Contexto-TC-UENP
Language: JavaScript - Size: 519 KB - Last synced at: over 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0
morovatdar/Turing-Machine
I have created a Turing Machine that can be used as a language acceptor, transducer, or to solve complicated tasks.
Language: Python - Size: 12.7 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
MuhammadHabibKhan/bscs-501-automata
Lab tasks performed for course BSCS-501 Theory of Computer Science.
Language: Python - Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
maindotmarcell/Simple-Java-Compiler
Assignment 2 for Computing Theory at UTS. The goal is to create a compiler that recognizes a simplified java syntax and outputs an abstract syntax tree. Made by Marcell, Tobias and Colin
Language: Java - Size: 104 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1
GauravJain28/TOC-Problem-Sets
Solution of the problem sets of the course COL352- Introduction to Automata and Theory of Computation offered in Second (Holi) Semester 2021-22.
Language: TeX - Size: 14.5 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
Netz00/Grammar
Theory of Computation & Automata Theory algorithms and structures implementation
Language: Java - Size: 13.7 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
harshagarwal94/Theory-of-Computation-and-Compiler-Design
Provides Information regarding TOCs And CD taught at VIT
Size: 127 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
MatthiasMi/rusty-algos
A re-implementation of basic data-structures and algorithms
Language: Rust - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
mahshidhp/cfg-converter
A tool for converting context-free grammars to different normal forms.
Language: Python - Size: 5.28 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
shashikdm/Theory-of-Computation
This repository contains various programs related to the theory of computation
Language: Python - Size: 32.2 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 10 - Forks: 4
CSpyridakis/FL 📦
Fictional Language to C Trans-compiler
Language: C - Size: 426 KB - Last synced at: 2 days ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
nelsontr/TCom_2020-2021 📦
Theory of Computation 2020/2021
Size: 325 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
ahmedhamdi96/CC
Compiler Components
Language: Python - Size: 932 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
parisgiakoum/Source-to-source-compiler-on-a-Fictional-Language-using-Flex-and-Bison--Theory-of-Computation
Source-to-source compiler(trans-Compiler) on a custom Fictional Language(FL) using Flex & Bison as part of a project on Theory of Computation
Language: C - Size: 369 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
tttardigrado/hsderiv
Haskell implementation of Brzozowski derivatives for regular expressions.
Language: Haskell - Size: 1.99 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
oelin/urm
Unlimited register machine implementation in Python.
Language: Python - Size: 8.79 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
WellingtonEspindula/INF05501-Register-Machines
Register-based machines (DNA and Multiset) written in Java which were used in the Theory of Computation's assignment.
Language: Java - Size: 6.84 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
sachin-duhan/6-sem-notes
Complete notes for DTU students | MCE | 6 sem
Language: PLSQL - Size: 286 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 5 - Forks: 4
arka816/fsm
common algorithms in automata theory - minimization algorithms, regex compilers etc.
Language: Python - Size: 125 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
Furyton/theory_of_computation_review_notes
an extended note of theory of computation, currently just include CFG part.
Language: TeX - Size: 304 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
omar-dahrawy/DFA-using-Java
Simulating a DFA using Java.
Language: Java - Size: 63.5 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0
kk4466345/courses
Language: HTML - Size: 502 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0
huidr/toc
Notes for theory of computation
Language: TeX - Size: 354 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
henriquecolini/automata
Parses Formal Regular Expressions and outputs graphs.
Language: Rust - Size: 42 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
diegolrs/NFA-nondeterministic-finite-automaton
NFA (nondeterministic finite automaton) simulator using C++
Language: C++ - Size: 853 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
julianaAuzier/teoria-da-computacao
Trabalho 1. Expressões regulares - Máscaras de validação
Language: Jupyter Notebook - Size: 526 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
sanjar-notes/computer-science
Theory of computation and complexity theory
Size: 1000 Bytes - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
mattwolf-corporation/lambda-calculus-in-js
Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
Language: JavaScript - Size: 1.88 MB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 1
yusufatmaca/regex
For L = { w ∈ {0, 1}* : |w| > 3, from third to second-last symbol of w is 0 }.
Language: Jupyter Notebook - Size: 0 Bytes - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
bergsans/theory-of-computation
Language: TypeScript - Size: 50.8 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
ivxvm/turing-elm
Interactive Turing machine simulator
Language: Elm - Size: 194 KB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
hlthung/algorithmic-thinking-turing-machines
Monash FIT2014 Theory of Computation Turing Machine problem sets
Size: 341 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
Nishant2116/DFA-Transition-Table
Program to plot the Transition table to perform DFA in TOC.
Language: Jupyter Notebook - Size: 2.93 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Vedant2311/Heavy-Hitters-NUS Fork of papergitkeeper/heavy-keeper-project
Comparing the Double Space Saving DS to the Heavy Keeper DS for the real world input streams
Language: C++ - Size: 10 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
Ahljenn/theory-of-computation
Theory of Computation review study guide using React.JS
Language: JavaScript - Size: 109 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
tanishq252/MooreMachineCPP
Implementation of finite automata(Moore Machine) through OOP using C++. Here the concept of pointers is used on order to create transitions from each state.
Size: 3.91 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
reity/are
Library for defining and working with abstract regular expressions that support strings/sequences with elements of any symbol type, with an emphasis on supporting scenarios in which it is necessary to work with regular expressions as abstract mathematical objects.
Language: Python - Size: 77.1 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
lucianobajr/TP-FTC
:heavy_exclamation_mark: Trabalho Prático – Fundamentos da Teoria da Computação
Language: Python - Size: 438 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 1
sanchezcarlosjr/theory-of-computation
Theory of computation
Language: TypeScript - Size: 1.08 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1
PALASH-BAJPAI/College-Notes
All semesters computer science handwritten notes
Language: Jupyter Notebook - Size: 426 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
osho-agyeya/Analysis-of-research-papers-pertaining-to-cellular-automata-Forest-fires-spread-modelling-using-cel
ANALYSIS OF RESEARCH PAPER PERTANING TO CELLULAR AUTOMATA FOR PREDICTING FOREST FIRES
Size: 66.4 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
Techno-coder/TM-compiler
A Turing Machine compiler
Language: Python - Size: 5.86 KB - Last synced at: about 7 hours ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
edoriggio/sudoku-sat
Project for the Theory of Computation course @ USI University
Language: Python - Size: 420 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
vinnik-dmitry07/syntax-tree
Building a syntax tree, and deriving a semantic term
Language: Python - Size: 3.8 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
TheFenrisLycaon/PlacePrep
Resources for Interview Preperations.
Size: 43 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
martincorona007/Lexical_analysis
In this blog I explain this pratice https://medium.com/@martincorona007/lexical-analysis-13f3b517854b
Language: C++ - Size: 191 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
KaustubhD/CYK-implementation-JAVA
A simple implementation of CYK algorithm to check the validity of a string according to the given grammer
Language: Java - Size: 5.86 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0
cjhbh3/MST-Computer-Science
These are most of my projects from my time at Missouri S&T. Each folder represents a different class.
Language: Python - Size: 23.6 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
JanSafronov/WPFTables
WPF desktop application equipped with table management and calculation of values and transformation of data and import of various table formats
Language: C# - Size: 1.76 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
tanvinerkar/fair-rent-division
Envy free, Fair Rent Division System for Hostel Rooms. This is a project made as a part of the Project Track in the course ESC101 offered in Spring 2019 at IIT Kanpur.
Language: Python - Size: 71.3 MB - Last synced at: 3 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1
SENEMISIK/Mathematical-Models-for-Epidemiological-Diseases
Theoretically analyze mathematical models for epidemics and improve upon the algorithms that minimize the expected size of a SIR outbreak in an arbitrary graph and a budget of restrictions that reduce transmission rates on edges or increase recovery rates at nodes.
Language: Jupyter Notebook - Size: 2.35 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
luansousac/automata
First project of Theory of Computation course (IFCE) (2016.1)
Language: C - Size: 24.4 KB - Last synced at: about 2 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 1
joneshshrestha/DFA
DFA (Deterministic Finite Automata)
Language: C - Size: 5.86 KB - Last synced at: 4 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1
kvrigor/dfa2cfg
Naive GUI app for generating the context-free grammar (CFG) from an input deterministic finite automaton (DFA).
Language: C# - Size: 237 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 7 - Forks: 2
divyanshu-talwar/Small-UTM
Size: 1.52 MB - Last synced at: over 2 years ago - Pushed at: about 8 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: about 4 years ago - Stars: 0 - Forks: 3
Circiter/quine-kleene-generator
A simple quine generator (for sed).
Language: sed - Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
inofficialamanjha/Android-Application-Regex-Patterns
Android application to detect various standard codes & Patterns using Regex standard library in Kotlin
Language: Kotlin - Size: 162 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
juanoliveira82/casamento-strings
Implementação de Casamento de Strings com Autômatos Finitos em Java.
Language: Java - Size: 75.2 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
gokselelpeze/DFA-to-Regular-Expression
This project can convert the Finite Automaton given in the specified format to a Regular Expression using GNFA.
Language: Java - Size: 22.5 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
martincorona007/automata
Regular processing https://introtheoryofcomputation.blogspot.com/2019/06/regular-processing.html
Language: C++ - Size: 8.79 KB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
martincorona007/Adder
Turing Machines Compositionality, the Ripper-Carry Adder https://medium.com/@martincorona007/full-adder-f10c4de4b6d7
Language: C++ - Size: 15.6 KB - Last synced at: 3 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
ashutoshpipriye/NFA-Theory-of-computation
Language: C - Size: 30.3 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
JesusNunez1031/TheoryGame
Use a Theory of Computation concept and make a game
Language: Python - Size: 67.4 KB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1
idylicaro/Java_projects
Language: Java - Size: 1.75 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
martinnacimiento/tdlc
Proyecto de la página de apuntes de Teoría de la Computación.
Language: Shell - Size: 5.27 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
slouchart/turing
Python simulator for Deterministic Turing Machines
Language: Python - Size: 121 KB - Last synced at: over 2 years ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0
billsioros/algorithmic-operations-research
Algorithmic Operations Research
Language: TeX - Size: 16.1 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
rssr25/computer-science
The computer science fundamentals for bachelors-Subject wise
Size: 227 MB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
martinnacimiento/teoria-de-la-computacion
Apuntes de la cátedra
Language: HTML - Size: 2.08 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
royalpranjal/Tic-Tac-Toe-Simulation-in-Turing-Machines
Algorithm Design & Analysis for implementing Tic-Tac-Toe on Turing Machines
Size: 136 KB - Last synced at: almost 2 years ago - Pushed at: about 9 years ago - Stars: 3 - Forks: 1
mlshort/PowerSet
Grad school, Theory of Combinatorics, Power Set implementation. Given a set 'S', the power set of 'S' is the set of all subsets of 'S'. Power sets are larger than the sets associated with them.
Language: C++ - Size: 70.3 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
giuliano-macedo/tct
Trabalhos da disciplina Teoria Da Computação - UFMS CPPP
Language: C++ - Size: 221 KB - Last synced at: 4 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
addejans/Probabilistic-Algorithms-TuringMachines
Presentation w/ context of Turing Machines (Theory of Computation)
Size: 69.3 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
zambonin/entscheidbar
Implementations and reports on the CYK algorithm, a simplified halting problem, and Turing-equivalent computational models.
Language: TeX - Size: 1.05 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
taraokelly/Theory-Of-Computation
CA and Problem Sheets assigned to expedite the learning of the Theory of Computation, formally named the Theory of Algorithms. Fourth Year, Theory of Algorithms, Software Development.
Language: Racket - Size: 533 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
marcosvlima/lex-lexical-analysis
Lexical Analyzer for dynamically identifying token.
Language: JavaScript - Size: 943 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
arpit353/SLR-Parser
This code produce DFA from the given input and check whether a string is accepted or not
Language: C++ - Size: 408 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
akshataman/Pattern-Matching-using-CFG Fork of sumananand222/Pattern-Matching-using-CFG
Language: Java - Size: 62.5 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
AhsanKhaan/5thSemesterAutomataProject-TypingGame
Implemented Core Concepts Of Finite Automation in order To make Typing Game
Language: Java - Size: 14.5 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
nnathan/arvo-fccs
Fundamental Concepts of Computer Science (Draft) - by James Arvo
Language: HTML - Size: 1.73 MB - Last synced at: 8 days ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0
Stephen-X/Turing_Machine_Simulator
A simple Turing Machine simulator in Java.
Language: Java - Size: 24.4 KB - Last synced at: about 16 hours ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
claudiomarpda/DFA
Deterministic Finite Automaton that works recursively to do union, intersection and complement operations
Language: Java - Size: 152 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
elijahverdoorn/theory-of-computation-final
Final Project for CSCI333: Theory of Computation at St. Olaf College, Spring 2017
Language: JavaScript - Size: 193 KB - Last synced at: 4 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
