Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in formal-languages

Z3: express linear algebra properties

Does logical AND and NOT exists in ANTLR?

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

Writing a formal language parser with Lisp

Distance between regular expression

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

Reading numbers as strings

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

Checking if a string consists of balanced parenthesis

How to convert NFA to Regular Expression

regex formal-languages nfa

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

What is the difference between recursive and recursively enumerable languages

Are regular haskell algebraic data types equivalent to context free grammars? What about GADTS?

chomsky hierarchy and programming languages

Is JavaScript a Context Free Language?

Where can I find a formal grammar for MATLAB?

What kind of formal languages can modern regex engines parse?

Which contemporary computer languages are LL(1)?

Why do we need prefix, postfix notation