问题列表 - 第46628页

如何确定语言是递归还是递归可枚举?

我必须确定一种语言(例如L = {a ^ nb ^ mc ^ s | 0 <= n <= m <= s})是否是常规的,无上下文的,递归的,递归可枚举的或者都不是.

我知道如何确定一个语言是正规(找到DFA或正则表达式的工作)或上下文(找到一个PDA或上下文无关文法的作品); 我知道递归语言有一个总是停止的图灵机器,并且一个递归可枚举的语言有一个可能不会停止的图灵机.

所以问题是:是否有一个快速的标准来确定语言是递归还是递归可枚举或两者都没有?例如,我不需要构建一个PDA来理解语言是无上下文的,我不能通过它需要一个堆栈来看待它; 有没有类似的快速解决问题的方法(希望能省去构建图灵机的麻烦)?

recursion computer-science turing-machines context-free-grammar

11
推荐指数
2
解决办法
1万
查看次数

C++被告知编译器在尝试创建for循环时缺少分号

为什么我被告知失踪了; 当试图创建这个for循环?

;  错误

c++ visual-c++

1
推荐指数
1
解决办法
235
查看次数

Asp.Net Razor的ResolveUrl/ResolveClientUrl等价物?

所以我开始使用<%: Url.Content(~/site/blah) %>语法作为CSS,JScript和Image URL的标准 - 确实解决了很多问题; 它至少在WebForms和Razor页面之间是一致的(并不是我的所有开发人员都会做Razor,但他们仍然会在我制作的这个平台上工作).

但是,对于我目前正在做的事情,我真的可以采用一种方法来获取Razor页面中编写的相对Url,并在运行时将其解析为正确的服务器端文件,然后再将其转换为客户端的绝对URL. Url.Content对相对网址没有任何作用.

所以,基本上,我想要一个ResolveUrlResolveClientUrl等于Razor级别.

我希望这能够在我的一些MVC视图中启用terser(并且更容忍重命名)资源路径,这些视图可以是从根目录下方的几个文件夹,其内容文件夹将更容易表示为相对路径 - 所以我本可以有:

folder\folder\views\shared\layout.cshtml

folder\folder\content\site.css

(我还推断使用布局页面,以反映ResolveUrl解决的问题类型以及WebForms所做的重新编写)

Url.Content按原样使用,我需要指定完整路径:

Url.Content("~/folder/folder/content/site.css")

但我想要的是

Url.Content("../../site.css")

当然,无论当前请求的路径中有多少条路径,都可以完成这项工作.

当然,如果我放弃Url.Content调用并依赖url rebasing,我可以在WebForms中使用它.

Razor有没有相应的东西?

asp.net asp.net-mvc razor

24
推荐指数
1
解决办法
2万
查看次数

C语言作为"低级"语言有多"低"?

我们经常听说C是一种低级语言,但它有多低?我所知道的最低级别是使用指针的内存管理.我还有更进一步的发现水平吗?"靠近硬件"是什么意思?"靠近硬件"的C怎么样?

c programming-languages low-level

23
推荐指数
3
解决办法
2万
查看次数

TestNG @BeforeMethod方法在驻留在超类中并且运行特定组时未调用

我正在尝试使用一个组来运行与我正在处理的"当前"相关的测试子集.问题是,如果我使用超类在@BeforeMethod中进行某些设置,则该方法在我运行所有测试时运行,但在我仅使用指定的组"current"运行时则不运行.

因此,当我运行所有测试时,emptyTest失败,因为调用了@BeforeMethod,当只运行组current时,不调用该方法.注意:如果我将@Test(groups = {"current"})添加到子类,那么它确实运行 - 但是,它运行所有未标记为"current"的子类,这违背了"当前"组的目的.

如果有更好的方法来实现此行为,我对所有解决方案持开放态度.

谢谢,赎金

超类:

public class TestNGSuperclass {
    @BeforeMethod
    public void failingToShowThatItIsNotRun() {
        Assert.fail();
    }
}
Run Code Online (Sandbox Code Playgroud)

子类:

@Test(groups = {"current"})
public class TestNGCurrentGroup extends TestNGSuperclass {
    public void emptyTest() {}
}
Run Code Online (Sandbox Code Playgroud)

TestNG配置:

<test name="current">
    <groups>
        <run>
            <include name="current"/>
        </run>
    </groups>
    <packages>
        <package name="uiowa.wf.test.*"/>
    </packages>
</test>
<test name="all-tests">
    <packages>
       <package name="uiowa.wf.test.*"/>
    </packages>
</test>
Run Code Online (Sandbox Code Playgroud)

java testing testng

16
推荐指数
2
解决办法
2万
查看次数

你能用registerContentObserver确定联系人的变化吗?

只是尝试确定在使用registerContentObserver或其他方法时是否有一种简单的方法来确定哪些联系人发生了变化?我可以告诉数据库何时更改,但不确定每次更新/更改发生时我都要检查所有记录.

基本上,如果我有一个联系人列表,一个通过手动方法更新(即我更改联系人的电话号码或添加新的联系人),或自动(说ActiveSync照片添加,更改).我希望能够A)知道某些事情发生了变化,并且B)知道哪些联系人的某些数据发生了变化.

我正在尝试寻找某些用户,我可以从远程服务中匹配他们的照片.如果有更多信息添加到用户帐户,我希望能够检查它以查看它是否提供匹配.我不想安排它,我想在更新发生后这样做.

克里斯.

android contacts contentobserver

12
推荐指数
1
解决办法
6697
查看次数

XSD架构和JAXB类中的多态性

我有一个像这样的xml:

<todo>
    <doLaundry cost="1"/>
    <washCar cost="10"/>
    <tidyBedroom cost="0" experiencePoints="5000"/>
</todo>
Run Code Online (Sandbox Code Playgroud)

它的XSD架构是:

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
    <xs:complexType name="todo">
        <xs:sequence>
            <xs:choice maxOccurs="unbounded">
                <xs:element name="doLaundry" type="doLaundry" />
                <xs:element name="washCar" type="washCar" />
                <xs:element name="tidyBedroom" type="tidyBedroom" />
            </xs:choice>
        </xs:sequence>
    </xs:complexType>

    <xs:complexType name="doLaundry">
        <xs:attribute name="cost" type="xs:int" />
    </xs:complexType>

    <xs:complexType name="washCar">
        <xs:attribute name="cost" type="xs:int" />
    </xs:complexType>

    <xs:complexType name="tidyBedroom">
        <xs:attribute name="cost" type="xs:int" />
        <xs:attribute name="experiencePoints" type="xs:int" />
    </xs:complexType>
</xs:schema>
Run Code Online (Sandbox Code Playgroud)

当我通过JAXB处理这个模式时,我得到一个类,其方法如下:

public class Todo {

    public List<Object> getDoLaundryOrWashCarOrTidyBedroom() {
        ...
    }

}
Run Code Online (Sandbox Code Playgroud)

理想情况下,我想要的是一种定义所有其他XSD类型扩展的通用基类型的方法.从XSD架构生成的Jaxb类应该有一个返回通用任务列表的方法.这样可以很容易地将新任务添加到待办事项列表中:

public class Todo {

    public List<Task> getTasks() { …
Run Code Online (Sandbox Code Playgroud)

xsd jaxb

24
推荐指数
2
解决办法
2万
查看次数

在Java中,给定IP地址范围,返回覆盖范围的CIDR块的最小列表

我在将IP地址范围转换为CIDR块列表时遇到了一些逻辑问题.我相信这个网站做得很好:http://ip2cidr.com/

我想传入一个起始IP地址和一个结束IP地址,并让java吐出所需的最小CIDR块列表,仅覆盖传入的范围,仅此而已.

例如,如果我传入1.1.1.111的起始地址和1.1.1.120的结束地址,我希望得到回报:1.1.1.111/32 1.1.1.112/29 1.1.1.120/32

(使用/ 32表示单个地址.)

java ip cidr

5
推荐指数
2
解决办法
9587
查看次数

如何使用jQuery在表单输入中转义"&"符号字符

我的jQuery脚本有问题,通过POST方法发送数据.问题是,只要它通过Ajax发送数据,句子中有"&"符号,它会在找到"&"时剪切句子.

请查看下面的图片了解更多信息.

传递给ajax POST的文本 在firebug上ajax POST后输出 已保存在数据库中的数据 jQuery ajax POST

php ajax jquery codeigniter

14
推荐指数
3
解决办法
3万
查看次数

如何基于用户滚动加载网页内容

如何在用户滚动网页时加载内容.怎么实现这个?

javascript jquery

25
推荐指数
4
解决办法
4万
查看次数