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

推荐订阅源

Y
Y Combinator Blog
B
Blog
S
SegmentFault 最新的问题
Vercel News
Vercel News
博客园 - 聂微东
宝玉的分享
宝玉的分享
C
Check Point Blog
有赞技术团队
有赞技术团队
IT之家
IT之家
V
V2EX
爱范儿
爱范儿
GbyAI
GbyAI
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
Microsoft Azure Blog
Microsoft Azure Blog
P
Proofpoint News Feed
博客园 - 司徒正美
博客园_首页
Last Week in AI
Last Week in AI
博客园 - 叶小钗
量子位
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
F
Fortinet All Blogs
腾讯CDC
J
Java Code Geeks

姓王者的博客

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博客主题自荐 | 姓王者的博客
使用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) 简体中文文档