我需要证明语言L(EVEN) = { M : |L(M)| is even }是不可决定的。
换句话说,语言L(EVEN)是所有图灵机的集合,这些图灵机接受某种偶数语言。
这里,M是某个图灵机的编码,如果存在L(EVEN)的决策器,它将作为输入传入。
我已经用图灵约简完成了类似于这个问题的其他问题,这里可以看到一个例子:
我的问题是,我无法想出一些以前被证明是无法决定的语言,这些语言对展示L <= L(EVEN)是有用的。
到目前为止,我们在课堂上介绍的不可判定的语言如下:
- L(emptyset) = { M | M is a TM and |L(M)| = emptyse
我正在编写一个简单的java和bash程序,但它不起作用。告诉我哪里出了问题。
巴什:
for i in [1..100]; do
echo $i
java prob2 $i
done
爪哇:
import java.io.*;
public class prob2
{
public static void main( String[] args )
{
int l = args.length;
if ( l == 1 )
{
我很确定我可以证明,原则上,Predicate类型构造函数是一个ContraMonad,是Monad的泛化,其中的函数是逆变量,但我不确定它将如何实现。
首先,让我们定义一些术语:
class Contravariant f where
contramap :: (b -> a) -> f a -> f b
class ContraMonad m where
return :: a -> m a
join :: m(m a) -> m a
contrabind :: m a -> (m b -> a) -> m
在C语言中,我编写了一个程序,使用二进制搜索在有序数组中搜索一个数字。我在程序的一个部分中有下面的代码,用于定义两个变量,中间变量和check变量。
(n是数组的大小)
int middle = 0;
int check = 0; //Checks if array holds an odd or even amount of numbers
check = n/2;
printf("check = %d\n", check);
由于某些原因,检查显示为0,而不是显示为0。更让我困惑的是,在我给它分配了n/2之后,这个中间值也相等了。
//Is there an eve
在file1.js中,我读到:
// NOTE: initialize your app event handlers here, see file2.js for a simple event handler example
// TODO: configure following to work with both touch and click events (mouse + touch)
// see http://msopentech.com/blog/2013/09/16/add-pinch-pointer-events-apache-cordova-phonegap-app/
当我试图在我的程序中使用jxcore.tasks.addTask函数时,我得到了这个错误。
undefined:1
function (){}
^
SyntaxError: Unexpected token u
at Object.parse (native)
at gcc (_jx_tasks.js:130:24)
at process.<anonymous> (_jx_tasks.js:425:3)
at process.emit (events.js:106:17)
at process.__makeCall (node.js:420
我遵循以下步骤:
在命令行中运行swank-js。
运行emacs。
M黏液连接。
主机: 127.0.0.1;端口: 4005
打开火狐中的http://localhost:8009/swank-js/test.html。
接收:“远程附加:(浏览器) Firefox14.0”在emacs REPL中。
在REPL中运行"document“命令。
此时,我收到错误:
ReferenceError: document is not defined
at repl:1:1
at DefaultRemote.evaluate (/usr/
DOS segment
.model small
.stack 100h
.data
array1 dw 1,4,6,3,7 ; since division 8 bit divisor require 16 bit dividend
.code
main proc
mov ax,@data
mov ds,ax
lea si,array1
mov cx,5
l1:
mov ax,[si]
mov bl,2
div bl
cmp ah,0
jne odd **if the remainder is not 0 means even**
这是一个常见问题的细微变体:除非空格包含在一对引号(“或”)中,否则如何用空格拆分字符串?这里有很多类似的问题,到目前为止我找到的最好答案是。问题是,所有这些答案都包括匹配中的引号。例如:
"foo bar 'i went to a bar'".match(/[^\s"']+|"([^"]*)"|'([^']*)'/g);
在以下方面的成果:
["foo", "bar", "'i went to a bar'"]
是否有一种解决办法导致
使用列表理解,我希望打印奇数偶数,字符串表示偶数的偶数,奇数的奇数表示奇数。
使用下面的代码-我只得到偶数和奇数。只是想知道我是否能得到这两个值,并对应于它们,表示偶数/奇数。
obj = ["Even" if i%2==0 else "odd" for i in range(20)]
print(obj)
仅使用列表理解。