Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in formal-languages

What is the concatenation of this language with itself?

math regular-language finite-automata automata formal-languages

When a keyword means different things in different contexts, is that an example of context sensitivity?

scala formal-languages context-sensitive-grammar

Prove that this language is undecidable

turing-machines formal-languages

What is a formal programming language?

programming-languages formal-languages

Find a non-deterministic CFL whose reverse is deterministic

formal-languages

LR(1) - Items, Look Ahead

parsing context-free-grammar formal-languages automata-theory

What class of language can Perl regular expressions be used against?

regex computer-science formal-languages computer-science-theory

Z3: express linear algebra properties

z3 smt formal-languages theorem-proving

Does logical AND and NOT exists in ANTLR?

antlr grammar antlr3 formal-languages

Why can't I specify the storage class for formal parameters of a function?

c function formal-languages storage-class-specifier

Writing a formal language parser with Lisp

scheme lisp racket formal-languages

Distance between regular expression

regex comparison formal-languages

To make sure: Pumping lemma for infinite regular languages only?

math finite-automata regular-language formal-languages pumping-lemma

Reading numbers as strings

r file file-read formal-languages

An infinite language can't be regular? What is a finite language?

regular-language finite-automata formal-languages computability kleene-star

Checking if a string consists of balanced parenthesis

haskell recursion pattern-matching formal-languages pushdown-automaton

How to convert NFA to Regular Expression

regex formal-languages nfa

Is L = {a^n b^m | n>m} a regular or irregular language?

regular-language dfa formal-languages

What is the difference between recursive and recursively enumerable languages

computer-science theory computation-theory turing-machines formal-languages
« Newer Entries Older Entries »