language-theory

相关标签：javascript jquery android 多少钱 iPhone

Proving language properties

I am taking a course on the formal foundations of programming, one of things we have covered is proving certain properties of languages, i have done most of the work, but I am stuck on these two quest[详细]

2023-04-06 11:23 分类：问答
What is the theory behind mutable and immutable types?

One of the things that I admire about Python is its distinction between mutable and immutable types. Having spent a while programming in c before coming to Python, I was astonished at how easily Pytho[详细]

2023-03-17 06:36 分类：问答
SLR(1) Parser and epsilon involved

Let\'s suppose I have the following grammar: S → X X → a | ϵ If that grammar wouldn\'t have ϵ involved, I would construct the first state like:[详细]

2023-03-16 06:10 分类：问答
Grammar to recognize postfix formulas

I\'m trying to create a postfix to infix converter, and I\'m unable to create the grammar for postfix formulas. I\'ve been also looking for it for a while without success..[详细]

2023-03-16 02:44 分类：问答
Run time optimisation in Javascript

Do the 开发者_如何转开发main Javascript interpreters have any built in optimisation at all? I\'m thinking of very simple cases like[详细]

2023-03-05 04:40 分类：问答
What is the basic C# interface scope?

I am having a dispute with another fellow programmer, over the scope of interfaces. suppose we have the following:[详细]

2023-02-07 16:51 分类：问答
The recognizing power of "modern" regexes

What class of languages do real modern regexes actually recognise? Whenever there is an unbounded length capturing group with a back-reference (e.g. (.*)_\\1) a regex is now matching a non-regular la[详细]

2023-02-07 06:03 分类：问答
Parse list with minimal separators

I have a language with statements of 4 kinds: s00, s01, s10, s11 where a leading 1 means initial keyword, a trailing 1 means terminated, and I have a separator \";\". I can terminate any statement wit[详细]

2023-01-31 19:21 分类：问答
Program to convert context free language to push down automata?

I can\'t find any applet or program online to convert a context free language into a push down automata... any help would be gre开发者_StackOverflow中文版atly appreciated.It is very easy to do by hand[详细]

2023-01-27 17:48 分类：问答
Algorithm for regular expression intersection with cfg

Im looki开发者_Python百科ng for an algorithm which outputs if the intersection of a regular expression and a contex free grammar is empty or not. I know that this problem is decidable, however, I cann[详细]

2023-01-24 18:15 分类：问答