Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in automata
Reducing a DFA using the Pair Table method
Oct 31, 2025
automata
dfa
Superscript plus sign meaning
Oct 25, 2025
theory
finite-automata
automata
state-machine
computation-theory
Confusion about the Kleene star
Oct 17, 2025
regex
automata
dfa
Producing an automaton image of my Promela model
Oct 18, 2025
automata
spin
promela
model-checking
PDA for {a^n b^m | n<=m<=2n}
Sep 16, 2025
automata
pushdown-automaton
automata-theory
Design DFA accepting decimal strings divisible by 7
Sep 12, 2025
automata
finite-automata
dfa
How can I tell that a language is context-free from first sight?
Sep 03, 2025
automata
formal-languages
context-free-language
OCaml: Combination of elements in Lists, functional reasoning
Mar 13, 2023
list
functional-programming
ocaml
automata
What type of languages are accepted by a PDA in which stack size is limited?
Feb 24, 2023
state-machine
automata
pushdown-automaton
automata-theory
Construct DFA for L = {(na(w)-nb(w)) mod 3>0}
Feb 01, 2023
automata
finite-automata
dfa
What is the difference between (a+b)* and (a*b*)*?
Jan 03, 2023
regex
computer-science
automata
check if a string has four consecutive letters in ascending or descending order
Dec 09, 2022
java
regex
string
automata
Example of Non-Linear, UnAmbiguous and Non-Deterministic CFL?
Apr 30, 2022
finite-automata
automata
computation-theory
formal-languages
chomsky-hierarchy
Pumping lemma (Regular language)
Apr 18, 2019
regular-language
automata
formal-languages
pumping-lemma
Pushing/popping stack in reverse order in a Pushdown Automaton
Sep 15, 2022
automata
non-deterministic
pushdown-automaton
automata-theory
How to understand ATN graph generated for ANTLR grammar?
Oct 16, 2022
antlr
antlr4
state-machine
regular-language
automata
Turing machine for addition and comparison of binary numbers
Sep 07, 2022
binary
automata
computation-theory
turing-machines
turing-complete
how to draw automata in java
Jan 03, 2016
java
swing
expression-trees
finite-automata
automata
Older Entries »