惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

C
Cisco Blogs
D
Docker
The GitHub Blog
The GitHub Blog
H
Hackread – Cybersecurity News, Data Breaches, AI and More
A
About on SuperTechFans
WordPress大学
WordPress大学
Recent Announcements
Recent Announcements
Engineering at Meta
Engineering at Meta
H
Help Net Security
Vercel News
Vercel News
S
SegmentFault 最新的问题
罗磊的独立博客
F
Full Disclosure
Microsoft Azure Blog
Microsoft Azure Blog
V
Visual Studio Blog
Last Week in AI
Last Week in AI
V
V2EX
腾讯CDC
IT之家
IT之家
爱范儿
爱范儿
博客园 - Franky
MyScale Blog
MyScale Blog
aimingoo的专栏
aimingoo的专栏
The Register - Security
The Register - Security
Help Net Security
Help Net Security
CTFtime.org: upcoming CTF events
CTFtime.org: upcoming CTF events
www.infosecurity-magazine.com
www.infosecurity-magazine.com
C
Cyber Attacks, Cyber Crime and Cyber Security
P
Proofpoint News Feed
D
Darknet – Hacking Tools, Hacker News & Cyber Security
B
Blog RSS Feed
雷峰网
雷峰网
Microsoft Security Blog
Microsoft Security Blog
博客园 - 【当耐特】
Recorded Future
Recorded Future
A
Arctic Wolf
Cyberwarzone
Cyberwarzone
Simon Willison's Weblog
Simon Willison's Weblog
AWS News Blog
AWS News Blog
S
Schneier on Security
GbyAI
GbyAI
Schneier on Security
Schneier on Security
O
OpenAI News
F
Fortinet All Blogs
Y
Y Combinator Blog
Forbes - Security
Forbes - Security
NISL@THU
NISL@THU
M
MIT News - Artificial intelligence
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
MongoDB | Blog
MongoDB | Blog

姓王者的博客

Linux用户Secure Boot自主维护指南 | 姓王者的博客 MAD Bugs 已经开始——关于信息安全的军备竞赛 | 姓王者的博客 解决钉钉Dingtalk无法在Linux新版内核上启动问题-修复可执行栈错误 | 姓王者的博客 突发:GitHub 正遭受大规模 Issue 赌博广告轰炸 | 姓王者的博客 Ubuntu26.04-beta体验:坚毅浣熊! | 姓王者的博客 fakeclaw装作龙虾发贴吧 | 姓王者的博客 找回12年前的QQ记忆 | 姓王者的博客 在Linux上玩Flash网页游戏-洛克王国 | 姓王者的博客 Copilot将使用交互数据来训练 | 姓王者的博客 重要通知-请更新我的GPG公钥 | 姓王者的博客 为了自由Android | 姓王者的博客 GPL"2,3"事 | 姓王者的博客 短文-对VitePlus的一点🤏小贡献 | 姓王者的博客 Bing收录没了?亲测有效的快速恢复指南 | 姓王者的博客 解决桌面设备二维码快速识别的工具-ClipQR | 姓王者的博客 解决 Nautilus 自定义终端插件安装依赖问题 | 姓王者的博客 OpenClaw 该熄火了 | 姓王者的博客 Vite8 - 统一的基建开始 | 姓王者的博客 Astro 6 推出啦 | 姓王者的博客 ubuntu的openvpn异常暂停推送更新 | 姓王者的博客 Ubuntu 24.04 安装 Win10 虚拟机 | 姓王者的博客 ESA-后记:热爱阿里云 | 姓王者的博客 Moonbit 0.8.0 重大发布,我也要改一下我的包 | 姓王者的博客 ESA Pages 边缘开发大赛获奖 | 姓王者的博客 Astro: 优化katex,mermaid和灯箱使用 | 姓王者的博客 从edgeone迁移到esa | 姓王者的博客 出租人类:AI时代的荒诞与真实 | 姓王者的博客 Astro 5.17构建性能优化实践:从18s到13s | 姓王者的博客 Moonbit License Checker 开发使用 | 姓王者的博客 Stalux Astro博客主题自荐 | 姓王者的博客 把Hexo永久链接迁移到Astro | 姓王者的博客 再见👋 LeanCloud | 姓王者的博客 2025年终总结 | 姓王者的博客 许可合规-fancybox | 姓王者的博客 博客主题的软著下来了 | 姓王者的博客 友链图谱 - 汇聚千丝万缕的联系 | 姓王者的博客 chen-er 专为Chen式ER图打造的npm包 | 姓王者的博客 为什么我推荐你使用GPG来加密你的邮件 | 姓王者的博客 2025第三方客户端登录东北大学邮箱 | 姓王者的博客 好久没更新了,过去与未来 | 姓王者的博客 1024 重要的日子 | 姓王者的博客 再也不见Windows10 | 姓王者的博客 偷梁换柱,解决Ubuntu24.04安装Packet Tracer缺失依赖问题 | 姓王者的博客 中秋-来试试Moonbit吧 | 姓王者的博客 Obsidian使用体验 | 姓王者的博客 猪猪侠·一只老猪的逆袭 | 姓王者的博客 国庆日纪念 | 姓王者的博客 GNU 42周年,AI时代的自由精神 | 姓王者的博客 解决Linux上启动游戏总是默认English的情况 | 姓王者的博客 7x24:运维使命 | 姓王者的博客 Tauri2.x实现系统菜单导航Vue路由 | 姓王者的博客 计算机图形学-基本图形生成算法 | 姓王者的博客 数据库原理-关系数据 | 姓王者的博客 数据库原理-设计技巧 | 姓王者的博客 数据库原理E-R模型 | 姓王者的博客 旧忆 - 我曾玩过的游戏 | 姓王者的博客 再谈自由软件 | 姓王者的博客 可能解决Tauri多窗口应用阻塞问题 | 姓王者的博客 Xingwangzhe! Z-Library We miss you and we need your help | 姓王者的博客 计算机组成原理第二章 - 定点数与浮点数 | 姓王者的博客 计算机组成原理第一章 | 姓王者的博客 不小心写死循环窗口弹出了 | 姓王者的博客 美化Grub界面 | 姓王者的博客 计算机图形学-图形的表示与数据结构 | 姓王者的博客 计算机图形学绪论 | 姓王者的博客 为什么说,大学教育与社会脱节 | 姓王者的博客 VSCode Remote 远程连接服务器记录 | 姓王者的博客 解决Tauri2.x拖拽事件问题 | 姓王者的博客 新学期第一课《计算机图形学》报告 | 姓王者的博客 Tauri在GNOME46+上通知无效的临时解决方法 | 姓王者的博客 窃文者:未经授权转载我文章 | 姓王者的博客 GPG公钥分享文化 | 姓王者的博客 解决在ubuntu上,打包vscode插件问题 | 姓王者的博客 伪造squaremap的玩家显示 | 姓王者的博客 爆,沉浸式翻译泄露敏感信息 | 姓王者的博客 读书:《Free as in Freedom》——若为自由故 | 姓王者的博客 首页文章列表懒加载优化 | 姓王者的博客 Ubuntu 24.04 安装 Vivado 2018.3 | 姓王者的博客 腾讯Edgeone免费版体验 | 姓王者的博客 在 Ubuntu 上实现 Thetis FIDO U2F 密钥登录 | 姓王者的博客 Thetis物理密钥,为什么我们应该使用物理密钥 | 姓王者的博客 高考生过来看!教你精准转换录取位次! | 姓王者的博客 ubuntu无法访问windows磁盘问题 | 姓王者的博客 收信有感,防范钓鱼邮件 | 姓王者的博客 自由不止软件-记录一次zlib上传书籍 | 姓王者的博客 时隔两年,通关夺命邮差2 | 姓王者的博客 博客一周年了,竟然坚持了下来 | 姓王者的博客 Minecraft大电影:不建不散! | 姓王者的博客 是时候了解docker了! | 姓王者的博客 编译原理:LL(1)文法 | 姓王者的博客 编译原理:文法转换 | 姓王者的博客 离散数学:子群的陪集及拉格朗日定理 | 姓王者的博客 离散数学:半群,独异点 | 姓王者的博客 《人工智能生成合成内容标识办法》与个人博客--我们应该做什么? | 姓王者的博客 通识学习:形式语言与自动机,布尔代数与数进制 | 姓王者的博客 Webmapview:一个我的世界内置网页地图浏览Fabric模组 | 姓王者的博客 海岛机器人农场试玩 | 姓王者的博客 正则表达式学习 | 姓王者的博客 抓取个人博客文章目录到github主页 | 姓王者的博客 制作github贪吃蛇贡献图 | 姓王者的博客
使用Godot实现单带图灵机模型 | 姓王者的博客
作者:xingwangzhe · 2024-11-19 · via 姓王者的博客

🕒 阅读时间:2 分钟 📝 字数:794 👀 阅读量: Loading...

如你所见,虽然Ui不好看,但是也还凑合

2024-11-19-163538

本文介绍使用我如何使用godot来实现这个模型

在线使用地址:

turing-machine by xingwangzhe

项目地址:

github: xingwangzhe/turing_machine: 图灵机模型,使用godot实现:)

gitee:

turing_machine: 图灵机模型,使用godot实现:)

为什么使用godot

实现图形化界面,有很多方法,比如说Qt什么的,但对于我个人来说,学习成本有点高了,想到之前我自己照葫芦画瓢跟着b站上视频学godot开发小游戏,效果还不错,于是就选择godot来实现了 虽然有点杀鸡用牛刀的感觉,但能够实现目的就可以 \x7e~不择手段~~:)

思路分析

本文中 text(String)表示字符串,pos(int)表示字符串的索引,state(int)表示状态,retain(String)表示保留符。

示例:单带图灵机

单带图灵机很容易抽像为字符串数组(String),那么状态转移函数就是对字符串数组进行操作.

我们拿出一个来举例 2024-11-19-170519

以下是主要的代码

func tur_action_2(pos:int,state:int,retain:String):

$"../tag".text=" "

for i in range(0, $".".text.length()):

if i==pos:

$"../tag".text[i]='V'

else:

$"../tag".text[i]='.'

if (state==0):

if($".".text[pos]=='a'):

$".".text[pos]='X'

state=1

retain='a'

pos+=1

elif ($".".text[pos]=='b'):

$".".text[pos]='Y'

state=1

pos+=1

retain='b'

$"../../Panel/VScrollBar/log".text+="\nq0->q1 [retain:"+retain+"]"

elif(state==1):

if($".".text[pos]=='a'||$".".text[pos]=='b'):

pos+=1

$"../../Panel/VScrollBar/log".text+="\nq1->q1 [retain:"+retain+"]"

elif ($".".text[pos]=='c'):

pos+=1

state=2

$"../../Panel/VScrollBar/log".text+="\nq1->q2 [retain:"+retain+"]"

elif(state==2):

if($".".text[pos]=='X'||$".".text[pos]=='Y'):

pos+=1

$"../../Panel/VScrollBar/log".text+="\nq2->q2 [retain:"+retain+"]"

elif ($".".text[pos]=='a'&&retain=='a'):

text[pos]='X'

state=3

pos-=1

$"../../Panel/VScrollBar/log".text+="\nq2->q3 [retain:"+retain+"]"

elif ($".".text[pos]=='b' && retain=='b'):

text[pos]='Y'

state=3

pos-=1

$"../../Panel/VScrollBar/log".text+="\nq2->q3 [retain:"+retain+"]"

elif(state==3):

if(text[pos]=='X'||text[pos]=='Y'):

pos-=1

$"../../Panel/VScrollBar/log".text+="\nq3->q3 [retain:"+retain+"]"

elif(text[pos]=='c'):

state=4

pos-=1

$"../../Panel/VScrollBar/log".text+="\nq3->q4 [retain:"+retain+"]"

elif(state==4):

if(text[pos]=='a'||text[pos]=='b'):

state=5

pos-=1

$"../../Panel/VScrollBar/log".text+="\nq4->q5 [retain:"+retain+"]"

elif(text[pos]=='X'||text[pos]=='Y'):

state=6

pos+=1

$"../../Panel/VScrollBar/log".text+="\nq4->q6 [retain:"+retain+"]"

elif(state==5):

if(text[pos]=='a'||text[pos]=='b'):

pos-=1

$"../../Panel/VScrollBar/log".text+="\nq5->q5 [retain:"+retain+"]"

elif(text[pos]=='X'||text[pos]=='Y'):

state=0

pos+=1

$"../../Panel/VScrollBar/log".text+="\nq5->q0 [retain:"+retain+"]"

elif(state==6):

if(text[pos]=='X'||text[pos]=='Y'||text[pos]=='c'):

pos+=1

$"../../Panel/VScrollBar/log".text+="\nq6->q6 [retain:"+retain+"]"

elif(text[pos]=='B'):

state=7

pos-=1

$"../../Panel/VScrollBar/log".text+="\nq6->q7 [retain:"+retain+"]"

elif(state==7):

if(text[pos]=='X'||text[pos]=='Y'||text[pos]=='c'):

if(text[pos]=='X'):

text[pos]='a'

elif(text[pos]=='Y'):

text[pos]='b'

pos-=1

$"../../Panel/VScrollBar/log".text+="\nq7->q7 [retain:"+retain+"]"

elif(text[pos]=='B'):

state=8

pos+=1

$"../../Panel/VScrollBar/log".text+="\nq7->q8 [retain:"+retain+"]"

elif(state==8):

pos=1

state=0

$"../../Panel/VScrollBar/log".text+="\nq8->end [retain:"+retain+"]"

for i in range(0, $".".text.length()):

if i==pos:

$"../tag".text[i]='V'

else:

$"../tag".text[i]='.'

return [pos,state,retain]

看来web不识别gdscript,给python格式倒是显示了:)

状态转移函数采用的分支条件语句来写,先判断每次操作时的状态,再根据读取的字符进行判断,然后做出状态改变或者位移或者字符改变

$”../../Panel/VScrollBar/log” 这个是在godot树状结构中,取对象地址(不是机器内存的地址,而是这个对象在项目结构中的路径)的方法,确保了获取对象的唯一性

辅助方法

函数什么时候调用,怎么调用,这都是有方法的,在游戏开发领域,信号signal)是一种用于实现模块或功能间通信的机制,它允许一个游戏对象对另一个游戏对象的变化做出反应,而无需相互引用。信号是一种解耦的方法,可以使得代码组织得更好、更易于管理

简单理解就是: godot在监听事件,我按下按钮触发事件,信号连接到对象上,可以触发对象的方法。

响应式ui 懒得说了,了解前端的应该都知道

参考

东北大学计算理论ppt Godot 文档 – master 分支 — Godot Engine (4.x) 简体中文文档