From a language L

看板Marginalman作者 (酷拉皮卡買醬油)時間8年前 (2017/03/08 23:09), 編輯推噓3(4124)
留言29則, 6人參與, 最新討論串1/2 (看更多)
From a language L, we create a new language, chopleft(L), by removing the leftmost symbol of every string in L. Specifically, chopleft(L) = {w : vw ∈ L, with|v| = 1}. Show that if L is regular, then chopleft(L) is also regular -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.113.68.213 ※ 文章網址: https://www.ptt.cc/bbs/Marginalman/M.1488985753.A.74D.html

03/08 23:10, , 1F
這題簡單我會!!!
03/08 23:10, 1F

03/08 23:11, , 2F
我只會母咪語
03/08 23:11, 2F

03/08 23:12, , 3F
因為v一定是regular
03/08 23:12, 3F

03/08 23:12, , 4F
摁摁
03/08 23:12, 4F

03/08 23:12, , 5F
這蛇摸科的題目
03/08 23:12, 5F

03/08 23:13, , 6F
我畫DFA和NFA很漂亮ㄛ
03/08 23:13, 6F

03/08 23:13, , 7F
自動機與形式語言吧 台大是用Sipser的課本 交大用哪一本?
03/08 23:13, 7F

03/08 23:14, , 8F
不過照書名翻應該翻成計算理論
03/08 23:14, 8F

03/08 23:14, , 9F
探討什麼是可計算的 什麼是不可計算的 還有計算複雜度的
03/08 23:14, 9F

03/08 23:15, , 10F
理論探討
03/08 23:15, 10F

03/08 23:15, , 11F
我也在學類似的東西ㄋ
03/08 23:15, 11F

03/08 23:15, , 12F
Peter Linz, An Introduction to Formal Languages and
03/08 23:15, 12F

03/08 23:15, , 13F
全部都是證明 修起來有點像數學系的課
03/08 23:15, 13F

03/08 23:15, , 14F
Automata
03/08 23:15, 14F

03/08 23:16, , 15F
正規語言
03/08 23:16, 15F

03/08 23:16, , 16F
(づ′・ω・)づ 離散數學
03/08 23:16, 16F

03/08 23:16, , 17F
我們叫正規語言 編譯器設計好像也會教這個?
03/08 23:16, 17F

03/08 23:16, , 18F
修了這門課我才明白 圖靈有多天才
03/08 23:16, 18F

03/08 23:17, , 19F
聽說正規只有幾間學校有開ㄛ
03/08 23:17, 19F

03/08 23:17, , 20F
太理論了吧 學店教這個自找麻煩
03/08 23:17, 20F

03/08 23:18, , 21F
第九章 Turing Machines 嘻嘻
03/08 23:18, 21F

03/08 23:18, , 22F
我修這門課時 台上教授是台大數學系畢業直攻資工博士的
03/08 23:18, 22F

03/08 23:19, , 23F
講很多課外有趣的東西
03/08 23:19, 23F

03/08 23:21, , 24F
例如說人類仰賴的邏輯究竟是什麼? 可靠嗎?
03/08 23:21, 24F

03/08 23:21, , 25F
正規語言後面有些東西真得抽象得爆炸 太玄了
03/08 23:21, 25F

03/08 23:24, , 26F
題目很難 譬如要證明一個問題是不可計算的
03/08 23:24, 26F

03/08 23:27, , 27F
有興趣可以去看哥德爾不完備定理的證明
03/08 23:27, 27F

03/08 23:35, , 28F
(づ′・ω・)づ 當作課後讀物看還不錯
03/08 23:35, 28F

03/08 23:58, , 29F
作業終於寫完ㄋ
03/08 23:58, 29F
文章代碼(AID): #1Om1wPTD (Marginalman)
文章代碼(AID): #1Om1wPTD (Marginalman)