language-theory Questions
13
Im having a problem in solving the problem:-
Its an assignment, i solved it, but it seems to be too long and vague, Can anyboby help me please......
Regular expression for the strings with even nu...
Pantaloon asked 13/9, 2010 at 7:50
8
What is an lvalue?
Ornithorhynchus asked 23/2, 2009 at 21:20
4
Solved
What is the definition of a "true" multidimensional array and what languages support them?
Most of the programming books I have ever read, have the following line:
"X language does not support true multidimensional arrays, but you can simulate (approximate) them with arrays of arrays."
...
Healy asked 18/11, 2011 at 4:58
9
Solved
In both C#/Java the operator precedence of is respectively instanceof leads to some ugly necessary parenthesis. For example instead of writing if (!bar instanceof Foo) you have to write if (!(bar i...
Sussex asked 23/8, 2013 at 0:21
11
Solved
I can see people asking all the time whether multiple inheritance should be included into the next version of C# or Java. C++ folks, who are fortunate enough to have this ability, say that this is ...
An asked 22/10, 2008 at 14:17
6
Solved
I've found that lots of people use the words closure and block interchangeably. Most of these people can't explain what they're talking about.
Some Java programmers (even ones from really expensiv...
Dereism asked 28/11, 2009 at 12:18
7
Solved
Can all iterative algorithms be expressed recursively?
If not, is there a good counter example that shows an iterative algorithm for which there exists no recursive counterpart?
If it is the case t...
Conjugated asked 19/1, 2010 at 13:8
4
Solved
Reading some related questions made me think about the theoretical nature of HTML.
I'm not talking about XHTML-like code here. I'm talking about stuff like this crazy piece of markup, which is per...
Marketa asked 3/3, 2011 at 2:5
1
Solved
I'm trying to understand context-sensitive grammars, and I understand why languages like
{ww | w is a string}
{an bn cn | a,b,c are symbols}
are not context free, but what I'd like ...
Mignonmignonette asked 31/12, 2012 at 0:39
2
Solved
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:
S' → .S
S → .X
X → .a
but what about the ϵ symbo...
Nunciature asked 28/6, 2011 at 4:4
2
Solved
Some time ago in one of Haskell extensions (can't find the link), and recently in Ur I've found that names (e.g., of record fields) form a Kind. Can somebody explain why Type abstraction is not eno...
Wynne asked 24/4, 2012 at 11:53
2
Solved
The first part of this question is now its own, here: Analyzing Text for Accents
Question: How could accents be added to generated speech?
What I've come up with:
I do not mean just accent marks...
Cassy asked 15/3, 2012 at 1:42
0
This is the first part of another question of mine that had a recommendation to make it two questions: Adding Accents to Speech Generation.
Summary: The other question asks how to add an accent pr...
Sovereignty asked 15/3, 2012 at 1:59
3
Solved
I'm still a noob in Scala development but I have found the Option[T] concept really awesome, specially the pattern matching when used with Some and None. I am even implementing it so some extent in...
Bridie asked 6/2, 2012 at 20:54
10
Solved
For example, are there certain things when writing an operating system that cannot be accomplished in a turing complete language?
Endorsement asked 1/5, 2009 at 23:7
4
Solved
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 Py...
Bertrand asked 2/7, 2011 at 1:52
12
Solved
I know that a semicolon is required after a statement (I'm talking about Java, C++, and similar languages), but is not required after a curled bracket. Why so?
if (a > b)
printf("hello!"); //...
Injudicious asked 6/4, 2011 at 5:29
5
Solved
I learned C++ when it was C with classes. I find myself increasingly disliking new technologies like XML and Garbage collection.
On the other hand, I have discovered scripting languages like ...
Quincentenary asked 21/10, 2008 at 18:28
1
Solved
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 ...
Persian asked 30/1, 2011 at 3:33
6
Solved
My understanding is that it means that one can potentially write a program to formally prove that a program written in a statically typed language will be free of a certain (small) subset of defect...
Phase asked 2/9, 2010 at 1:53
3
Solved
I'm going over this in my theory class, and I'm curious as to how many people here know what regular expression compilation actually is. I've looked online, and it seems to me that this is a ...
Hokkaido asked 25/10, 2010 at 2:32
6
I like reading about programming theories, so could you tell me if there is any object-oriented static typed language that allow variables to have a few types?
Example in pesudocode:
var value: Bi...
Abell asked 11/9, 2010 at 21:16
4
Solved
Is there a library (in any language) that can search patterns in matrixes like regular expressions work for strings ? Something like regular expresions for matrixes, or any matrix pattern search me...
Okra asked 19/8, 2010 at 11:21
2
Solved
In the context of Scheme and CPS conversion, I'm having a little trouble deciding what administrative redexes (lambdas) exactly are:
all the lambda expressions that are introduced by the CPS conv...
Abby asked 23/1, 2010 at 9:21
1
Solved
I know this isn't directly related to programming, but I was wondering if anyone know how to apply the pumping lemma to the following proof:
Show that L={(a^n)(b^n)(c^m) : n!=m} is not a context...
Immemorial asked 8/4, 2010 at 2:12
1 Next >
© 2022 - 2024 — McMap. All rights reserved.