Why call-by-value evaluation strategy is not Turing complete?

Posted by Roman on Stack Overflow See other posts from Stack Overflow or by Roman
Published on 2010-05-31T15:06:07Z Indexed on 2010/05/31 20:33 UTC
Read the original article Hit count: 147

Filed under:

compiler

|

programming-languages

|

computer-science

|

turing-complete

I'm reading an article about different evaluation strategies (I linked article in wiki, but I'm reading another one not in English). And it says that unlike to call-by-name and call-by-need strategies, call-by-value strategy is not Turing complete.

Can anybody explain, please, why is it so? If it's possible, add an example pls.

© Stack Overflow or respective owner

Related posts about compiler

IDEA modular problem (jsp)

as seen on Stack Overflow - Search for 'Stack Overflow'
I have project in with 2 separate modules(frontend and backend, first depends on second). When I'm trying to access backend code from frontend code, things going fine. Things turn for the worse when I do the same from jsp. This is stacktrase for simple accessign bean <jsp:useBean id="mybean"… >>> More
Help with a compiler warning: Initialization from distinct Objective-C type when types match

as seen on Stack Overflow - Search for 'Stack Overflow'
Here is the function where I get the compiler warning, I can't seem to figure out what is causing it. Any help is appreciated. -(void)displaySelector{ //warning on the following line: InstanceSelectorViewController *controller = [[InstanceSelectorViewController alloc] initWithCreator:self]; … >>> More
Sometimes Java web app hang

as seen on Stack Overflow - Search for 'Stack Overflow'
The web app occasionally get hang for about 30 seconds when user request a web page, the server's CPU and memory usage are ok, and the jstack shows: "http-9999-3" daemon prio=6 tid=0x552f3400 nid=0xf40 runnable [0x578fc000] java.lang.Thread.State: RUNNABLE at org.eclipse.jdt.internal.compiler… >>> More
Need help regarding one LALR(1) parsing.

as seen on Stack Overflow - Search for 'Stack Overflow'
I am trying to parse a context-free language, called Context Free Art. I have created its parser in Javascript using a YACC-like JS LALR(1) parser generator JSCC. Take the example of following CFA (Context Free Art) code. This code is a valid CFA. startshape A rule A { CIRCLE { s 1} } Notice the… >>> More
Port Compiler Options (8 replies)

as seen on .NET 247 - Search for '.NET 247'
I currently own a license for Crossworks for ARM and would like to compile the port using it. With the code for the CLR now available, is it possible to compile the port with any ARM compiler or are we still restricted to the Keil ARM gcc compilers? >>> More

Related posts about programming-languages

Which order would you teach programming languages in, when teaching a newbie?

as seen on Programmers - Search for 'Programmers'
If you had to design a study program, with a breadth-of-programming-languages requirement, which stated that the student should be exposed to all major concepts and methodologies that can be taught through (at the minimum) 6 programming languages, which programming languages would you choose to teach… >>> More
Extending Programming Languages

as seen on Stack Overflow - Search for 'Stack Overflow'
(Since I just posted this in another question, but my browser had to be annoying and submit it without content first, here it is again:) I'm a fan of clean code. I like my languages to be able to express what I'm trying to do, but I like the syntax to mirror that too. For example, I work on a lot… >>> More
Facebook Game Development - Which Programming languages?

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi folks, I am going to develop a facebook game as topic for my thesis. I am wondering which programming languages i should choice. I am used to programming in .NET. But i am also comfortable in C++ and Java. I don't want to use Flash as the graphical frontend since i don't like it. So i guess… >>> More
Objective-measures of the power of programming languages

as seen on Stack Overflow - Search for 'Stack Overflow'
Are there any objective measures for measuring the power of programming languages? Turing-completeness is one, but it is not particularly discriminating. I also remember there being a few others measures of power which are more limited versions (like finite-state-autonoma), but is there any objective… >>> More
Extending Programming Languages [closed]

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm a fan of clean code. >>> More