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
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
Design a PDA of all strings of 0's and 1's so that the number of 1's is twice the number of 0's
Oct 12, 2021
automata
computation-theory
pushdown-automaton
Testing intersection of two regular languages
Nov 02, 2022
parsing
finite-automata
automata
Older Entries »