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 formal-languages
Prove whether this language is decidable and recognizable
Oct 30, 2022
computation-theory
turing-machines
formal-languages
decidable
context sensitive tokenization of code
Oct 21, 2022
parsing
token
tokenize
formal-languages
Example of Non-Linear, UnAmbiguous and Non-Deterministic CFL?
Apr 30, 2022
finite-automata
automata
computation-theory
formal-languages
chomsky-hierarchy
Shift-reduce: when to stop reducing?
Oct 19, 2022
parsing
theory
context-free-grammar
formal-languages
shift-reduce
Pumping lemma (Regular language)
Apr 18, 2019
regular-language
automata
formal-languages
pumping-lemma
Validate string given Context Free Grammar in Java
Jul 31, 2021
java
parsing
computer-science
context-free-grammar
formal-languages
Recursive languages vs context-sensitive languages
Nov 15, 2022
formal-languages
context-sensitive-grammar
chomsky-hierarchy
How to prove left-recursive grammar is not in LL(1) using parsing table
Sep 15, 2022
parsing
compiler-construction
automation
formal-languages
ll
What is the concatenation of this language with itself?
Aug 27, 2022
math
regular-language
finite-automata
automata
formal-languages
When a keyword means different things in different contexts, is that an example of context sensitivity?
Feb 10, 2022
scala
formal-languages
context-sensitive-grammar
Prove that this language is undecidable
Jun 28, 2022
turing-machines
formal-languages
What is a formal programming language?
Sep 18, 2022
programming-languages
formal-languages
Find a non-deterministic CFL whose reverse is deterministic
Nov 22, 2017
formal-languages
LR(1) - Items, Look Ahead
Sep 25, 2022
parsing
context-free-grammar
formal-languages
automata-theory
What class of language can Perl regular expressions be used against?
Oct 19, 2022
regex
computer-science
formal-languages
computer-science-theory
Z3: express linear algebra properties
Jun 02, 2022
z3
smt
formal-languages
theorem-proving
Does logical AND and NOT exists in ANTLR?
Nov 01, 2022
antlr
grammar
antlr3
formal-languages
Why can't I specify the storage class for formal parameters of a function?
Apr 09, 2022
c
function
formal-languages
storage-class-specifier
« Newer Entries
Older Entries »