westtide 最近的时间轴更新 westtide 最近的时间轴更新 |
westtideV2EX 第 374413 号会员，加入于 2019-01-01 15:03:58 +08:00 |
| macOS Ventura 「信息」应用支持选中多条信息了 Apple • westtide • 2022-06-08 11:12:37 AM • 最后回复来自 justNoBody | 6 |
| macOS 11 beta8 睡眠崩溃 macOS • westtide • 2020-09-29 13:56:23 PM • 最后回复来自 westtide | 10 |
westtide 最近回复了
120 天前 回复了 vhvlqn 创建的主题 › Apple › iOS17 与 iPadOS17 测试版 bug 汇总 |
@QlanQ 企业微信闪退，微信正常，macOS 变下班 OS 了🤣
199 天前 回复了 andyJado 创建的主题 › 程序员 › PDF 是自学者的噩梦，读 Anders 的 Static Program Analysis 窒息 |
练习 3.3：解释如何用有限自动机表示正则类型，使得如果它们的自动机接受相同的语言，则两个类型相等。展示一个代表类型μt.( int,t)→int 的自动机。
《计算理论导引》里面说，finite automata 能接收的字符串组成的语言就是 regular language ，我推测 regular type 就是 regular language ，大概同理？
《计算理论导引》里面说，finite automata 能接收的字符串组成的语言就是 regular language ，我推测 regular type 就是 regular language ，大概同理？
214 天前 回复了 Mark24 创建的主题 › 问与答 › 到哪里去看一些计算机科学的前沿的研究、论文等信息？ |
CACM 和 JACM 吧，理论计算机方向的文章偏多
223 天前 回复了 FaiChou 创建的主题 › macOS › macOS 下将视频配文字, 有什么简单的工具可以做? |
剪映很简单
229 天前 回复了 objectxiang 创建的主题 › macOS › [送码][macOS] Barbee - 拯救你的菜单栏空间（刘海屏快来！ |
dG9jb2tlb0BvdXRsb29rLmNvbQ==
谢谢！
谢谢！
278 天前 回复了 fredhwang 创建的主题 › 问与答 › 阿兹夫定片，网上一查，不敢吃 |
为啥要问程序员们医学问题 hhhh 术业有专攻，去丁香医生上面挂一个呼吸科专科医生问
284 天前 回复了 meisen 创建的主题 › 程序员 › 发帖感谢 V 友免费送我一盒布洛芬 |
好人一生平安
285 天前 回复了 Jeff5317 创建的主题 › MacBook Pro › 求大家给推荐个好用的键盘 |
罗技的 MX Keys ，一款我觉得很好用的薄膜键盘。另外就是宁芝的静电容键盘
289 天前 回复了 LZWDRWEB 创建的主题 › WATCH › Watch 的血氧对新冠来说有用吗？ |
@corot2a 正常值需要>=95%,兄弟你还好吗。。。
294 天前 回复了 MID 创建的主题 › macOS › macOS 13.1 发布了！ |
又在骗我升级
——来自 macOS Monterey 12.6.1
——来自 macOS Monterey 12.6.1
Select Language