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

Counterpart of regular expressions for parsing nested strucures

regex parsing formal-languages

Checking if two yacc grammars are equivalent

parsing complexity-theory formal-languages

Proving concatenation of language is associative in Agda

regular-language agda dependent-type formal-languages

Can Lua patterns represent any regular language?

lua regular-language formal-languages

How to determine if a context-free grammar describes a regular language?

grammar context-free-grammar regular-language finite-automata formal-languages

Is there a way to find out what is causing 'No Instance Found' on run in Alloy?

alloy formal-languages formal-verification formal-methods

What is the intersection of two languages?

union intersection formal-languages automaton

How can I tell that a language is context-free from first sight?

automata formal-languages context-free-language

Union of two (irregular) Context Free Language results a Regular Language?

regular-language formal-languages context-free-language

Why is the complement of a regular language still a regular language?

computer-science discrete-mathematics regular-language formal-languages

Is WW where W belongs to {a,b}* a context free language?

formal-languages context-free-language

Why aren't recursively enumerable languages undecidable

computer-science turing-machines formal-languages

Prove whether this language is decidable and recognizable

computation-theory turing-machines formal-languages decidable

context sensitive tokenization of code

parsing token tokenize formal-languages

Example of Non-Linear, UnAmbiguous and Non-Deterministic CFL?

finite-automata automata computation-theory formal-languages chomsky-hierarchy

Shift-reduce: when to stop reducing?

parsing theory context-free-grammar formal-languages shift-reduce

Pumping lemma (Regular language)

regular-language automata formal-languages pumping-lemma

Validate string given Context Free Grammar in Java

java parsing computer-science context-free-grammar formal-languages
Older Entries »