automata-theory

There are 6 repositories under automata-theory topic.

• baquer / GATE-and-CSE-Resources-for-Students

  📚 📖 📚CSE GATE Resources for GATE and CSE Aspirants 😎 😁 . Show your ❤️ by ⭐️⭐️

  gatecseautomata-theorycompiler-designoperating-systemdigital-designdatastructuresalgorithmc-programmingcomputer-architecturedatabase-managementcomputer-network
  1794

• pedrooaugusto / speech-to-code

  Speech to Code - Enables you to code using just your voice.

  speech-to-codeautomata-theoryvoice-recognitionassistive-technologyvoice-commandsvscode-extensionvscodevoice-programming
  Language:TypeScript 89

• rafi007akhtar / CSE-resources

  A collection of curated resources for learning Computer Science subjects and skills, that I garnered throughout my tenure as a CSE student. Contributions, and report of broken links are welcome.

  algorithmautomata-theorynetworkingcomputer-organizationcomputer-architecturedbmsdiscrete-mathematicsoperating-systemssoftware-engineeringandroidweb-developmentmachine-learningdeep-learninggitgithub
  86

• whitemech / pythomata

  A Python package for automata theory.

  automatonautomataautomata-theorydfadfa-minimizationdfa-constructiondfa-minimizernfanfa2dfadeterminizerdeterministic-finite-automatanondeterministic-finite-automatasymboliclanguages-and-automatasymbolic-automata
  Language:Python 58

• karthik-saiharsh / fsm-engine

  A Figma like Editor to Design Custom Finite State Machines

  automataautomata-theorycomputation-theorydfaeditorfinite-state-machinefsmnfatheory-of-computationfigmakonvamachinesreactreact-konvacollaborate
  Language:TypeScript 38

• 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 ⭐=)

  algorithmsarchitecutreautomata-theorycompiler-designcomputer-networksdatabase-labdata-structuresmicroprocessornetwork-laboperating-systemssignals-and-systemsadvanced-programmingbasic-programmingcodevisiondigital-system-designproteus
  Language:Jupyter Notebook 36

• zakrok / ts-automata

  Automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS. @zakrok @sandemiroren1

  automataautomata-theoryfinite-state-machinemathtypescriptcontext-free-grammarpushdown-automataregexregular-expressionregular-languageturing-machine
  Language:TypeScript 35

• Megha-Bose / Automata-Theory-Conversions

  Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.

  automata-theorynfa-to-dfa-conversiondfa-to-regexregex-to-nfaminimize-dfa
  Language:Python 30

• viking-sudo-rm / rusty-dawg

  Rust library for indexing and quickly searching large pretraining corpora

  automata-theoryllms
  Language:Rust 29

• devangi2000 / Compiler-Design

  A repository containing all experiments for the course Compiler Design.

  python3compiler-designparsing-expression-grammarcomputer-scienceautomata-theorylexical-analysisnfa-to-dfa-conversionintermediate-code-generationfirst-follow-compilerregex-to-nfashift-reduce-parserspredictive-parsing
  Language:Python 28

• ErnestThePoet / Automata-Playground

  在线可视化地设计、运行自动机，支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network

  automataautomata-and-formal-languagesautomata-learningautomata-machines-simulatorautomata-simulatorautomata-theorydfadfa-simulatornextjsreactturing-machineturing-machine-simulator
  Language:JavaScript 23

• Dentrax / Finite-State-Machine

  Finite State Machine Library for .NET Core (with EASY and ADVANCED implementation)

  state-machinefinite-state-machinetheoryalgorithmautomata-theorydeterministic-finite-automataalgorithmsfsmcsharpcsharp-notescsharp-examplesevent-handling
  Language:C# 20

• 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

  category-theoryagda-categoriesautomata-theorymealy-machinemonoidal-categoriesmoore-machineagda
  Language:Agda 20

• meganindya / btech-assignments

  A repository of my BTech assignments for different papers.

  cdata-structuresoperating-systemformal-languagesautomata-theoryoopjavavhdlmatlabfpgacompiler-designsqlalgorithm-analysissocket-programmingsoftware-engineeringweb-technologiesinformation-securityimage-processing
  Language:Jupyter Notebook 15

• shashikdm / Theory-of-Computation

  This repository contains various programs related to the theory of computation

  pythonpython3automata-theorydfatheory-of-computation
  Language:Python 14

• stefk0 / eai

  Записки по „Езици, автомати и изчислимост"

  automata-theoryregular-expressionsturing-machinecontext-free
  Language:TeX 14

• b30wulffz / automata-toolkit

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

  automata-theorynfadfaregexfinite-state-machinepython
  Language:Python 13

• Af4rinz / cfg-to-pda

  Context free grammar to pushdown automaton convertor, along with string parser - Theory of Languages and Machines project, spring 2020

  tlmpdacfgautomata-theoryautomata-simulatorcontext-free-grammar
  Language:Python 12

• faridfr / Optimizing_Finite_Automata

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

  phpsoftware-engineeringoptimisationautomataautomata-theoryfinite-automatacytoscapecytoscapejsbootstrap
  Language:PHP 12

• 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.

  agile-methodologiesalgorithm-analysis-and-designapplied-ethicsautomata-theoryc-programmingdata-structures-and-algorithmsdatabasemachine-learning-algorithmspsychologysoftware-systemsoperating-systems-and-networks
  Language:Jupyter Notebook 11

• osteele / pyfsa

  Python FSA constructor, determinizer, and minimizer.

  automata-theorychart-parserfinite-state-automataregex
  Language:Python 11

• agicy / buptLab-cfg_pda

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

  buptcfgpdaautomata-theorycomputationlanguage
  Language:Python 10

• agicy / buptLab-nfa2dfa

  北京邮电大学 2023-2024 春季学期《形式语言与自动机》课程实验——NFA 到 DFA 的转化

  automata-theorybuptdfa-minimizationepsilon-nfa-to-nfalanguagenfa-to-dfa
  Language:Python 10

• imehar / regular-expression-to-NFA

  A program to convert the given regular expression to Non Definite Automata (NFA)

  automata-theoryautomataregular-expression-to-nfanfare-to-nfacpptoctoc-project
  Language:C++ 10

• msindev / PushDown-Automata-Implementation

  Implementation of PushDown Automata to track acceptance or rejection of a string.

  pushdown-automataautomata-theorypdaautomata-simulator
  Language:Python 10

• mynttt / CYK-algorithm

  Java implementation of the CYK algorithm.

  theoretical-computer-sciencecyk-algorithmautomata-theoryjava
  Language:Java 10
• flutter_automata

  nikhil-RGB / flutter_automata

  An android app to create and control emulations of "Connway's Game of Life"

  automata-theoryfluttergame-of-life
  Language:Dart 10

• CristianAbrante / PushdownAutomaton

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

  automataautomata-theoryautomata-simulatorpushdown-automatoncontext-free-grammarturing-machine
  Language:Java 9

• nondeterministic / ltl3tools

  Convert LTL formulas into finite-state automata for monitoring

  ltlruntime-verificationmonitoringautomataautomata-theorymodel-checking
  Language:OCaml 9

• 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.

  automata-theoryautomatondfadfa-minimizationdfa-minimizerfinite-automatagraph-theoryjavajavafxminimizationstate-machineconverterdfa-converteralgorithmdeterministic-finite-automatavisualization
  Language:Java 8

• andreasabel / agda-automata

  Formalisation of automata in Agda

  agdaautomataautomata-theory
  Language:Agda 8

• l-flat / lflat

  L-FLAT - Logtalk Formal Language and Automata Toolkit

  automata-theoryturing-machine-simulatorteaching-toolregular-expression-enginecontext-free-grammar
  Language:Logtalk 8

• ZigRazor / CXXAutomata

  A C++ library for simulating automata and Turing machines

  automataautomata-theoryautomata-simulatorautomatasautomata-learningautomata-machines-simulatorautomata-processorautomatonturing-machinedeterministic-finite-automatondeterministic-turing-machinenon-deterministic-finite-automatonfinite-automatonnon-deterministic-turing-machinepushdown-automatondpdacppcpp-libcpp-libraryhacktoberfest
  Language:C++ 8

• arjkashyap / DFA-simulator

  A tool for testing and simulating Deterministic Finite Machines with string inputs

  automata-theorydeterministic-finite-automatafinite-state-machinejavascriptstate-machinetesting-toolswebdevelopmentwebsite
  Language:JavaScript 7

• jaxcksn / FSMD

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

  automataautomata-theorycli-appdeterministic-finite-automatafinite-state-machinefsmnon-deterministic-finite-automatonpythonpython3
  Language:Python 7

• jchenche / compiler

  A complete compiler for an object-oriented language with static typing

  compilerautomata-theoryprogramming-language-theory
  Language:C++ 7