手机版
热门标签
站点地图
我要投稿
广告合作
联系我们
搜 索
广告位招租
广告位招租
切换导航
首页
人工智能
编程教程
编程导航
编程百科
编程问答
编程博文
编程实例
硬件设备
网络运营
软件教程
移动数码
办公软件
操作系统
网络运维
技术频道
▸ 编程语言
▸ 前端开发
▸ 移动开发
▸ 开发工具
▸ 程序设计
▸ 行业应用
▸ CMS系统
▸ 服务器
▸ 数据库
公众号推荐
微信公众号搜
"智元新知"
关注
微信扫一扫可直接关注哦!
formal-languages
formal-languages专题提供formal-languages的最新资讯内容,帮你更好的了解formal-languages。
正式语言和编译器 30 问题
让 G 是字母表 {a,b} 上的正则表达式的以下语法,带有替代运算符(+ 运算符)、连接(通过正则表达式
作者:佚名 时间:2022-05-02
形式语言和自动机
如何确定两个给定的 DFA A1 和 A2 是否 L (A1) = L (A2)? 我不知道如何解决这个问题以及从哪里开始。
作者:佚名 时间:2022-05-02
下推自动机说明
我正在学习下推自动机,但并没有真正理解它。我的老师给了一个练习任务,要练习,但我无法弄清楚
作者:佚名 时间:2022-05-01
如何在形式系统中证明 ¬(2|9)?
2|9 表示 ∃x(9=2<em>x),而 ∃x(g(x)) 表示 ¬∀x(¬g(x))。所以,¬(2|9) 表示 ∀x(¬(9=2</em>x))。直观地,我们通过
作者:佚名 时间:2022-04-24
来自一组字符串的最小 DFA/正则表达式
我正在寻找一种算法,它产生最小的 DFA,它匹配给定的有限具体字符串集中的任何字符串,仅此而已。
作者:佚名 时间:2022-04-24
将伪左线性上下文无关语法转换为左线性语法
所以我遇到了一个小问题。 我已经获得了语法: G:A-> Ba_1...a_n<br/> A->a_1...a_n 现在我必
作者:佚名 时间:2022-04-23
有没有办法为这种语言创建类型 3 语法?
我正在尝试为这种语言找到一种可能的最高类型的语法:<br/> L={0^2n 1^(n-1)|n>=1}<br/> 我只能做到这一
作者:佚名 时间:2022-04-23
JavaScript是上下文免费语言吗?
这篇文章在 how browsers work上解释了CSS是如何上下文的,而HTML则不是.但JavaScript如何呢,JavaScript上下文是否自由? 我正在学习CFG和正式的证明,但距离了解如何解决这个问题还有很长的路要走.有人知道JavaScript是否是上下文无关的? 不,JavaScript不是一个无上下文的语言. 它非常接近于一个,ECMAScript 5规范确实是use a
作者:佚名 时间:2019-07-09
上一页
1
2
下一页
小编推荐
苹果市值2025年有望达4万亿美元
• 三星当前最强PC SSD“PM9E1”启动量产,
• 向智能家居迈进!苹果2025年将发布home
• 中国平板市场大洗牌 为什么华为能够力压
• iFixit拆解苹果AirPods 4耳机:仍是“维
• 英伟达RTX 5090笔记本显卡曝光:24GB G
• 平台惊现英伟达GeForce RTX GT610!竟已
• 联想ThinkBook 16+ 2025锐龙AI 9 365版
热门标签
更多
python
JavaScript
java
HTML
PHP
reactjs
C#
Android
CSS
Node.js
sql
r
python-3.x
MysqL
jQuery
c++
pandas
Flutter
angular
IOS
django
linux
swift
typescript
路由器
JSON
路由器设置
无线路由器
h3c
华三
华三路由器设置
华三路由器
电脑软件教程
arrays
docker
软件图文教程
C
vue.js
laravel
spring-boot