formal-languages
How do I find the language from a regular expression?
How would I find the language for the following regular expressions over the alphabet {a, b}? aUb* (ab*Uc)[详细]
2023-04-10 08:55 分类:问答Why do we need prefix, postfix notation
I know how ea开发者_JAVA百科ch of them can be converted to one another but never really understood what their applications are. The usual infix operation is quite readable, but where does it fail whic[详细]
2023-04-07 14:02 分类:问答Production rules for a grammar
Before anything, yes, this is from coursework and I\'ve been at it sporadically while dealing with another project.[详细]
2023-04-03 18:12 分类:问答Checking if a string consists of balanced parenthesis
I wrote the following program to check strings for balanced parenthesis: isBalanced xs = isBalanced\' xs [][详细]
2023-03-30 21:27 分类:问答How to recognize English words via ANTLR?
开发者_开发问答I would like to determirmine if a word is in a large list of keywords (vulgar and so on) and a parser should be a good solution (it should be fast as far as I know) because I need a few[详细]
2023-03-29 21:39 分类:问答what is the length of a language that contains epsilon?
1, I have an NFA that can recognize two words, \"aa\" and \"epsilon\". So the language L1 this NFA recognizes is a set {aa, epsilon}.[详细]
2023-03-29 05:10 分类:问答Prove that this language is undecidable
Is the following language L undecidable? L = {M | M is a Turing machine description and there exists an input x of length k such that M halts after at most k steps}[详细]
2023-03-19 09:04 分类:问答Conversion to Chomsky Normal Form
I do need your help. I have these productions: 1) A--> aAb 2) A--> bAa 3) A--> ε I should apply the Chomsky Normal Form (CNF).[详细]
2023-03-15 23:21 分类:问答Verifying that a grammar is strong LL(2)
Problem 19.5 of Sudkamp\'s Languages and Machines asks the reader to verify that the grammar G : S\' -> S##[详细]
2023-03-13 18:19 分类:问答Does logical AND and NOT exists in ANTLR?
Is there NOT logic in ANTLR? Im basically trying to negate a rule that i have and was wondering if its possible, also is there开发者_StackOverflow社区 AND logic? @larsmans already supplied the answer,[详细]
2023-02-21 23:48 分类:问答