Top "Formal-languages" questions

The study of formal languages concerns the definition, description (generation) and parsing (recognition) of sets of strings over finite sets of symbols.

Tips for creating "Context Free Grammar"

I am new to CFG's, Can someone give me tips in creating CFG that generates some language For example L = {…

grammar context-free-grammar lexical-analysis formal-languages
Left-Linear and Right-Linear Grammars

I need help with constructing a left-linear and right-linear grammar for the languages below? a) (0+1)*00(0+1)* b) 0*(1(0+1))* c) (((01+10)*11)*00)* For a) I …

grammar regular-language computation-theory formal-languages
What is a regular language?

I'm trying to understand the concept of languages levels (regular, context free, context sensitive, etc.). I can look this up …

syntax programming-languages bnf regular-language formal-languages
Is L = {a^n b^m | n>m} a regular or irregular language?

I have troubles in solving/proving this problem. Any ideas please?

regular-language dfa formal-languages
Why do we need prefix, postfix notation

I know how each of them can be converted to one another but never really understood what their applications are. …

algorithm compiler-construction programming-languages formal-languages
Why can't C++ be parsed with a LR(1) parser?

I was reading about parsers and parser generators and found this statement in wikipedia's LR parsing -page: Many programming languages …

c++ parsing grammar formal-languages
Reading numbers as strings

I am new at R programming and I want to read a text file in R. One of the columns, …

r file file-read formal-languages
An infinite language can't be regular? What is a finite language?

I read this in a book on computability: (Kleene's Theorem) A language is regular if and only if it can …

regular-language finite-automata formal-languages computability kleene-star
What is the difference between recursive and recursively enumerable languages

I was wondering what the difference between recursive and recursively enumerable languages is in terms of halting and Turing Machines. …

computer-science theory computation-theory turing-machines formal-languages
PDA to accept a language of strings containing more a's than b's

Produce a PDA to recognise the following language : the language of strings containing more a's than b's I have been …

automata formal-languages pushdown-automaton