DianQK 最近的时间轴更新
DianQK

DianQK

V2EX 第 146717 号会员,加入于 2015-11-11 19:13:26 +08:00
今日活跃度排名 5058
[AUR] 打包了一个在 Wayland 下支持 Fcitx5 的 joplin-election
Linux  •  DianQK  •  67 天前  •  最后回复来自 ltkun
4
已经购买的 Surge 4 (macOS) 5 人车队, 100/人
无要点  •  DianQK  •  348 天前  •  最后回复来自 jpacg
3
我的 Arch Linux 和 LineageOS 使用心得
  •  14   
    Linux  •  DianQK  •  125 天前  •  最后回复来自 DianQK
    60
    五一写了一个非常潦草的微信归档项目
    微信  •  DianQK  •  2022-05-05 19:45:52 PM  •  最后回复来自 sgrw2
    1
    承认平庸,接受平庸,但我要变强
    随想  •  DianQK  •  2022-04-28 05:18:35 AM  •  最后回复来自 levelworm
    29
    🐶 新建了一个自学 CS 的 Discord 群组
    程序员  •  DianQK  •  2022-04-08 18:40:08 PM  •  最后回复来自 Part2
    22
    小米平板 4 对比 iPad mini 6
    分享发现  •  DianQK  •  2021-09-23 11:15:33 AM  •  最后回复来自 Unclev21x
    25
    求推荐 Manjaro 兼容性比较好的轻薄本
    Linux  •  DianQK  •  2021-09-06 07:47:27 AM  •  最后回复来自 kingfalse
    42
    DianQK 最近回复了
    3 天前
    回复了 Damn 创建的主题 分享发现 android 版微软 RDP 客户端好愚蠢。。
    直接暴露 RDP 端口到公网?那还是建议用 Wireguard ,可以试试 https://github.com/DianQK/magisk-wireguard-auto-connect 使用内核的 wg ( magisk/kernelsu 都可用),我还搭配了 clash tproxy 版本,二者就可以共存了。
    确实,造个新的好了,https://github.com/ruslin-note 我就正在写呢。
    ntfy 似乎是支持持续响起铃声的,可以试试改进 https://github.com/DianQK/unseenmail ,我试了下 gmail 也可以用 imap (但是好像检查未读邮件功能不正常)
    @bfdh #116 Android 版比较卡,UI 也很旧了。Linux 是我切换到了使用 Arch 的通用的 electron 可以节约一下磁盘空间,我加了额外的 patch 可以在 wayland 下使用输入法。
    22 天前
    回复了 sfdev 创建的主题 Linux 时隔多年再次体验 Linux 桌面系统
    @yzwduck #13 我用的 Hyprland ,缩放好像没什么问题,我试过 1.8x 笔记本搭配 [email protected] 的使用,另一台单独的是 [email protected] 。不过多屏我还没搞明白怎么用的方便。已知的一个问题 xwayland + jb 系的弹窗课本看不到(不知道和我用的是不是 hidpi patch 有关)。我试了 android-studio-canary 倒是还行能用。
    43 天前
    回复了 horou 创建的主题 程序员 Rust 怎么方便的与 Android 交互
    还是编成 so ,然后参见 https://github.com/mozilla/uniffi-rs
    fastmail
    @Vitta 计划今年的重点的 Android ,然后是 Linux ,接下来 Windows macOS iOS ,如果做的话应该要等很久很久了。
    我可以肯定的说,OP 你可以忽略这个习题,因为作者回复我了,说这是个不重要的习题。我跟随作者给出的一些提示 /答案,总结大概如下(我的理解不一定对):

    首先我可以肯定,这是将自动机( FA )相关的问题,前置知识在龙书的第 3.6 小节(不推荐看网上的一些介绍,感觉没有龙书写的详细易懂)。Type Analysis 虽然也是静态分析?但通常提到的静态分析对应的应当是本书后面章节的内容。Type Analysis 应该划分为另一个范畴了吧,我觉得忽略这章看本书更合适一些。

    这里一直提到的 language 翻译过来虽然是语言,但我觉得解释为句子 /一段话更贴切一些。比如“很高兴见到你”,这是一段话,也是中文(对应的 language )。
    所以这里说的就是正则语言(表达式),只不过不是平常理解的正则表达式,而是更通用的概念。即符合某种正确规则的具体描述语言(一段话)。

    抱歉,我没有继续把龙书的 3.7-3.9 看了,这几节应该是讲 FA 的应用部分。Ex 3.3 也**只是说怎么把定义的各种类型画成对应的 FA**,至于啥用,我不知道。作者回我的图片很模糊,感觉不是标准的 FA 。(抱歉,我不能直接贴这张图,因为我忘记了要一份授权,但我基于自己的理解重新画一遍应该没问题吧。)

    OP 你把 3.6 小节看了之后,应该就可以了解底下的内容(如果没有,那一定是我转述 /理解的不对)。

    画出来的 FA 如图:


    有些字符我还不知道怎么打出来,就平替一下。这里 FA 用来判断能否接受一个描述对应类型的语言。
    一些设定:
    - 虚线圈似乎表示这里可以自由发挥 /匹配,什么类型都可以接受
    - 1 、2 、3 数字用来表示状态转换的顺序 /参数?,当遇到一个 TypeVar ( t )时候,回到初始状态按照数字顺序匹配
    - ut.(&int, t)->int 中的 t 是受限(递归的)的,t 必须满足自身的 (&int, t)->int 类型,这种时候可以回到初始状态接着匹配

    所以图中的 FA 可以接受 ut.(&int, t)->int ,首先匹配参数 1 ,&int 成功,然后参数 2 是 t 回到开始状态,参数 3 直接一个 int 结束。
    关于   ·   帮助文档   ·   博客   ·   nftychat   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   2680 人在线   最高记录 5634   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 46ms · UTC 14:59 · PVG 22:59 · LAX 07:59 · JFK 10:59
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.