腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(6040)
视频
沙龙
1
回答
证明这种
语言
是否是可分辨的和可识别的
、
、
、
如果L1和L2是
语言
,我们就有了一种新的
语言
我如何证明INTERLACE是: 为了证明可
判定
语言
类在操作下是封闭的
浏览 0
提问于2017-04-01
得票数 5
回答已采纳
1
回答
用谓词决定相等
我想证明,对于满足谓词a的P,等式是可
判定
的。Inductive A: Type:=a, b: A
c
,
c
0:
C
{
c
=
c
0} + {
c
<>
c
0} 我不能利用我们有P (A0
c
)这一事实。在我看来,在某种程度上,我认为a = P
c
浏览 4
提问于2022-07-23
得票数 0
3
回答
C
#类型的系统是健全的和可决定的吗?
、
、
、
我知道Java的类型系统是不可靠的(它无法对语义上
合法
的构造进行类型检查),并且不可
判定
(它无法对某些构造进行类型检查)。static class ListX<T> {}ListX<?super
C
<Byte>> crash = new
C
<Byte&
浏览 0
提问于2014-05-30
得票数 51
回答已采纳
2
回答
使编译循环永久化的
C
++代码示例
、
、
、
考虑到
C
++模板系统是,而且它也是-,有人能给我提供一个使g++编译器循环永远存在的程序的一个非平凡的例子吗?对于更多的上下文,我设想如果
C
++模板系统是图灵全的,它可以识别所有递归枚举
语言
,并决定所有递归
语言
。所以,它让我想到了接受问题,以及它更著名的兄弟,停止问题。我还设想,在句法分析中,g++必须决定输入是否属于
C
++
语言
(就像它属于可
判定
性问题一样)。但是它还必须解析所有模板,而且由于模板是递归枚举的,所以必须有一个
C
++程序使g++语法分析永
浏览 14
提问于2022-10-04
得票数 2
回答已采纳
3
回答
将指向数组开头的指针与指向数组开头之前的相同类型的指针进行比较是否
合法
?
、
这个程序是不是
合法
的
C
语言
?如果是,请引用其中一种
语言
标准来支持您的声明(无论哪种方式)。(void)( q < p ); char arr[] = "Hello";} 特别是,我感兴趣的是q < p比较是否
合法
浏览 3
提问于2013-07-18
得票数 3
回答已采纳
6
回答
使用PowerShell以字符串格式更改
IP
的第三个八进制
、
、
、
我想我找到了最糟糕的方法:$a,$b,$
c
,$d = $
ip
.Split(".")[int]$
c
= $
c
[string]$
c
= $
c
但最好的方法是什么呢?不用费心去验
浏览 2
提问于2019-02-27
得票数 4
回答已采纳
2
回答
C
语言
中数的单调行为的
判定
我想写一个简单的程序来确定用户输入的数字是增加的,还是严格增加的,等等。
浏览 0
提问于2012-04-02
得票数 0
回答已采纳
1
回答
什么是共同图灵可识别的,我如何证明补充的两种
语言
是可
判定
的使用共同图灵概念?
、
、
让L1和L2是两种
语言
,这样就不存在同时属于L1和L2的字符串w。我在努力证明,如果L1和L2都是可共同识别的,那么就存在一个可
判定
的
语言
A,使得L1⊆A和L2⊆A. A --A的补充。
浏览 1
提问于2017-04-10
得票数 0
1
回答
对于哪种类型的A和B,简单的赋值语句A=B在
C
++中是
合法
的,但在Java
语言
中不
合法
?
、
、
对于哪种类型的A和B,简单的赋值语句A=B在
C
++中是
合法
的,但在Java
语言
中不
合法
?
浏览 11
提问于2020-03-31
得票数 0
回答已采纳
1
回答
C
-不兼容的指针类型赋值:为什么是警告?
我在看K&R第二版,上面写着(第5.4节):int *
ip
;我在gcc手册上没有看到任何关于这是默认编译器扩展的声明。使用
C
++编译器确实会引发编译错误。指向一种类型的指针可以转换为指向另一种类型的指针。
浏览 1
提问于2020-04-17
得票数 0
回答已采纳
2
回答
是否有模型检查软件(如),但适用于
C
#?
、
、
、
在我写这个问题的时候,我花了相当多的时间在互联网上搜索,只发现了一些过时的项目,但是这样的java工具已经存在了,我无法相信
c
#中什么都没有。我认为这个问题与编程(代码验证)有关,并不是真的征求意见。
浏览 4
提问于2013-09-03
得票数 0
回答已采纳
1
回答
字母表与形式语法与
语言
的挑战
、
、
、
、
我总结我的推论:来自ALPH的所有
语言
都是可数的。(我认为这是错误的)( d)由形式语法生成的ALPH上的每一种任意
语言
都是递归的。(我认为这是真的) 任何人都能帮我,也许还能纠正我?
浏览 2
提问于2014-10-05
得票数 0
回答已采纳
3
回答
获取全球
IP
地址并在iOS应用程序中获取国家/地区是否
合法
?
、
、
、
、
我可以获得iPhone/iPad的当前全球
IP
地址,然后根据我自己在服务器上的数据库将其转换为国家/地区吗? 我不想去找定位服务来处理这个问题,因为我觉得使用
IP
地址获取国家信息要容易得多。
浏览 1
提问于2012-04-11
得票数 2
1
回答
禁用
C
++“功能”的编译器选项
是否可以传递编译器(例如,g++、clang等)标志或定义将禁用
C
++的某些“功能”作为质量控制的手段? 我希望在
C
++中禁用多重继承和许多其他东西,这些东西(我认为)弊大于利。
浏览 4
提问于2014-08-19
得票数 3
回答已采纳
8
回答
将新分配的数据直接传递给函数
、
在学习不同的
语言
时,我经常看到动态分配对象,通常是在Java和
C
#中,如下所示:我知道这在内存管理
语言
中是完全
合法
的,但是在
C
++中使用这种技术是否不会导致内存泄漏呢?
浏览 11
提问于2008-12-29
得票数 5
回答已采纳
4
回答
C
:带多个运算符的条件表达式
、
在
C
语言
中,这样的事情
合法
吗?或者我必须用&&和||和括号来分隔它?
浏览 1
提问于2012-09-23
得票数 0
回答已采纳
1
回答
在
c
语言
的结构中定义一个没有标识符的struct变量是什么意思?
、
在
C
语言
中,第6行中的struct Animal;是什么意思? 它在
C
89、
C
99或
C
11中
合法
吗?
浏览 0
提问于2018-11-20
得票数 1
2
回答
将函数原型放在main或另一个函数中
合法
吗?
、
在
C
++
语言
中,将函数原型放在main或其他函数中
合法
吗?这是不是很糟糕的做法?为什么有人要把原型放在main里面呢?
浏览 1
提问于2011-12-01
得票数 2
回答已采纳
1
回答
快速超载问题
、
、
我们知道,Swift
语言
允许函数重载,而在Objective-
c
中,重载是不
合法
的。-> String { func helloFuc() -> Int { } 如果Swift函数重载是
合法
的,为什么会出现这个问题?
浏览 2
提问于2016-12-24
得票数 1
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
如何判定IP地址的合法性?
Python开发中如何判定IP地址合法性实例源码
Python课堂:判定IP地址合法性的三种方法
什么是合法ip地址
Python 检验IP地址是否合法
热门
标签
更多标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM
活动推荐
运营活动
广告
关闭
领券