形式语言与自动机 第五章 课后题答案

news/2024/11/16 7:47:39/

在这里插入图片描述
考点:图灵机⇒语言

解:工作过程:首先从 q 0 q_0 q0 将读入的0改为1,读头向右移动到状态 q 1 q_1 q1,然后;读入1则改为0读头向右移动回到状态 q 0 q_0 q0,若读入B则不变,读头向右移动到状态 q f q_f qf

接收的语言:以0开头,后面10重复的字符串,其中10重复次数可为0。 L = 0 ( 10 ) n ∣ n ≥ 0 L={0(10)^n |n≥0} L=0(10)nn0
在这里插入图片描述
考点:图灵机⇒句子的识别过程(格局)

解:识别 00001000 的过程:
q 0 00001000 ├ M 0 q 0 0001000 ├ M 00 q 0 001000 ├ M 000 q 0 01000 ├ M 0000 q 0 1000 q_0 00001000├_{M} 0q_0 0001000├_{M} 00q_0 001000├_{M} 000q_0 01000├_{M} 0000q_0 1000 q000001000M0q00001000M00q0001000M000q001000M0000q01000

├ M 00001 q 1 000 ├ M 000010 q 1 00 ├ M 0000100 q 1 0 ├ M 00001000 q 1 B ├ M 00001000 B q 2 B ├_M 00001q_1 000├_M 000010q_1 00├_M 0000100q_1 0├_M 00001000q_1 B├_M 00001000Bq_2 B M00001q1000M000010q100M0000100q10M00001000q1BM00001000Bq2B

识别10000的过程:
q 0 10000 ├ M 1 q 1 0000 ├ M 10 q 1 000 ├ M 100 q 1 00 ├ M 1000 q 1 0 ├ M 10000 q 1 B ├ M 10000 B q 2 B q_0 10000├_{M}1q_1 0000├_{M} 10q_1 000├_{M} 100q_1 00├_{M} 1000q_1 0├_{M}10000q_1 B├_{M}10000Bq_2 B q010000M1q10000M10q1000M100q100M1000q10M10000q1BM10000Bq2B

在这里插入图片描述
考点:语言⇒图灵机(设计图灵机)

解:(1)设计思路:遇到起始的1改为B右移,遇到起始的0改为B左移找第1个1改为B右移……若回去找1找不到且从头找0找不到,说明 n = m n=m n=m 则接收;若找0找不到,说明 n > m n>m nm 则接收,因此设计的图灵机为 M = ( { q 0 , q 1 , q 2 , q 3 , q 4 , q 5 } , { 0 , 1 } , { 0 , 1 , B , X , Y } , δ , q 0 , B , { q ( 3 ) , q 5 } ) M=(\{q_0,q_1,q_2,q_3,q_4,q_5 \},\{0,1\},\{0,1,B,X,Y\},δ,q_0,B,\{q_(3 ),q_5\}) M=({q0,q1,q2,q3,q4,q5},{0,1},{0,1,B,X,Y},δ,q0,B,{q(3),q5}),其中 δ δ δ 如下:
在这里插入图片描述


http://www.ppmy.cn/news/675413.html

相关文章

2022SCUCTF

前言 这次出了两个题,但是只放了一个easy_web这个题。镜像我都上传到我的dockerhub里了,自己需要的可以拉取。z3eyond的dockerhub easy_web F12,想到了robots.txt,下载源码 下载后开始审计代码,这儿我就不把源码复制过来了。 根据源码的U…

CVE-2021-3129分析

CVE-2021-3129分析 Tag: [[php phar]] | [[php deserialize]] Env搭建 VulEnv/laravel/cve_2021_3129 at master XuCcc/VulEnv Source 分析 根据描述,本质上是由于 facade/ignition 引入的问题,直接查看 ignition 的 commit 记录[^1] 看到 \Facade\Igni…

[GFCTF 2021]文件查看器(GZ、过滤器、phar) day4

打开界面直接一个登录界面&#xff0c;直接admin/admin登录进去 。 进来之后发现是一个文件查看器的功能 随便输入了点东西发现了报错&#xff0c;然后读取文件的功能&#xff0c;输入Files.classs.php发现读取不成功 换了个index.php <?phpfunction __autoload($classN…

绿城杯-Misc-流量分析

绿城杯-Misc-流量分析 0x01 复现开始 0x01 复现开始 导出HTTP对象后开始浏览数据包&#xff0c;发现数据包中有奇怪的流量。 经过网上查询&#xff0c; 找到这是CVE-2021-3129 漏洞攻击特征,发现这是一种lavarel的流量数据包&#xff0c;是一个远程RCE的一个漏洞。这个流量是…

CVE-2021-3129:Laravel远程代码漏洞复现分析

本文分享自华为云社区《CVE-2021-3129 分析》&#xff0c;作者&#xff1a;Xuuuu 。 CVE-2021-3129 Tag: [[php phar]] | [[php deserialize]] Env搭建 VulEnv/laravel/cve_2021_3129 at master XuCcc/VulEnv Source 分析 根据描述&#xff0c;本质上是由于 facade/igniti…

00

http://s.sohu.com/20080917/n259611204.shtml 北京之路 <script typetext/javascript charsetutf-8 src"http://static.bshare.cn/b/buttonLite.js#style-1&uuid&pophcol3&langzh"></script> <script typetext/javascript charsetutf-8 …

经理人必读的5本管理书籍推荐

在如今竞争激烈的商业世界中&#xff0c;管理者需要持续不断的学习、实践和反思。本文将向大家推荐5本打好管理学基础必看的管理书籍&#xff0c;这些书能帮助经理人提高自己的管理水平和能力、拓展自己的管理视野&#xff0c;以应对不断变化的商业环境和挑战 1、《经理人参阅…

曝阿里达摩院大模型 M6 带头人杨红霞已离职:个人选择,非行业原因

报道 作者&#xff1a;李梅&#xff08;AI科技评论&#xff09; 编辑&#xff1a;Aeneas David 【导读】阿里 M6 大模型带头人杨红霞&#xff0c;已从阿里巴巴达摩院智能计算实验室离职。 AI科技评论获悉&#xff0c;阿里 M6 大模型的原带头人杨红霞&#xff0c;已于 9 月初因…