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
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
Writing a formal language parser with Lisp
Sep 05, 2022
scheme
lisp
racket
formal-languages
Distance between regular expression
Sep 09, 2022
regex
comparison
formal-languages
To make sure: Pumping lemma for infinite regular languages only?
May 25, 2017
math
finite-automata
regular-language
formal-languages
pumping-lemma
Reading numbers as strings
Nov 09, 2022
r
file
file-read
formal-languages
An infinite language can't be regular? What is a finite language?
Aug 28, 2022
regular-language
finite-automata
formal-languages
computability
kleene-star
Checking if a string consists of balanced parenthesis
Nov 06, 2018
haskell
recursion
pattern-matching
formal-languages
pushdown-automaton
How to convert NFA to Regular Expression
Aug 23, 2022
regex
formal-languages
nfa
Is L = {a^n b^m | n>m} a regular or irregular language?
Jul 04, 2017
regular-language
dfa
formal-languages
What is the difference between recursive and recursively enumerable languages
Sep 15, 2022
computer-science
theory
computation-theory
turing-machines
formal-languages
Are regular haskell algebraic data types equivalent to context free grammars? What about GADTS?
Jan 20, 2020
haskell
programming-languages
formal-languages
chomsky hierarchy and programming languages
Sep 15, 2022
programming-languages
context-free-grammar
turing-machines
formal-languages
chomsky-hierarchy
Is JavaScript a Context Free Language?
Sep 08, 2022
javascript
context-free-grammar
formal-languages
Where can I find a formal grammar for MATLAB?
Sep 06, 2022
matlab
grammar
lexer
matlab-deployment
formal-languages
What kind of formal languages can modern regex engines parse?
Sep 05, 2022
regex
computer-science
formal-languages
Which contemporary computer languages are LL(1)?
Sep 04, 2022
compiler-construction
formal-languages
ll
Why do we need prefix, postfix notation
Sep 02, 2022
algorithm
compiler-construction
programming-languages
formal-languages
« Newer Entries
Older Entries »