可计算性
研讨班
集智俱乐部
⽇日程
• 第⼀一次:2⽉月23⽇日 苑明理
• 第⼀一部分:基本概念的初步探讨
• 第⼆二部分:While 语⾔言
• 第⼆二次:3⽉月9⽇日 苑明理
• 第三部分:可计算性的基本理论
• 第四部分:元编程、⾃自应⽤用、编译器⽣生成
• 第三...
第四部分
• 解释器的开销
• 编译器的⾃自举
• ⼆二村射影
解释器的开销
• 同样⼀一段程序在解释器中执⾏行,往往⽐比该程序编译出来的程序要慢
• 解释器可以多层层叠,但执⾏行效率也会越来越慢
编译器⾃自举
• 语⾔言的层次
• 扩充语⾔言:S’
• ⾼高层语⾔言:S
• 底层语⾔言:T
• 初始的三个编译器
• t:S —> T by T
• h:S —> T by S
• h’:S’ —> T by S
• 叠罗汉的游戏
• t1...
编译器⾃自举
第⼀一⼆二村射影
第⼆二⼆二村射影
第三⼆二村射影
Upcoming SlideShare
Loading in …5
×

可计算理论研讨第四部分

749 views

Published on

Published in: Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
749
On SlideShare
0
From Embeds
0
Number of Embeds
3
Actions
Shares
0
Downloads
4
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

可计算理论研讨第四部分

  1. 1. 可计算性 研讨班 集智俱乐部
  2. 2. ⽇日程 • 第⼀一次:2⽉月23⽇日 苑明理 • 第⼀一部分:基本概念的初步探讨 • 第⼆二部分:While 语⾔言 • 第⼆二次:3⽉月9⽇日 苑明理 • 第三部分:可计算性的基本理论 • 第四部分:元编程、⾃自应⽤用、编译器⽣生成 • 第三次:3⽉月23⽇日 ⽼老⻥鱼 • 第五部分:其他顺序计算模型 • 第六部分:邱奇-图灵论题 • 第七部分:函数式语⾔言的可计算性 • 第四次:4⽉月6⽇日 • 第⼋八部分:不可解问题 • 第九部分:希尔伯特第⼗十问题 • 第五次:4⽉月20⽇日 张江 • 第⼗十部分:哥德尔不完备定理 • 第六次:5⽉月4⽇日 • 第⼗十⼀一部分:基于数的可计算性理论 • 第⼗十⼆二部分:更抽象的可计算性途径
  3. 3. 第四部分 • 解释器的开销 • 编译器的⾃自举 • ⼆二村射影
  4. 4. 解释器的开销 • 同样⼀一段程序在解释器中执⾏行,往往⽐比该程序编译出来的程序要慢 • 解释器可以多层层叠,但执⾏行效率也会越来越慢
  5. 5. 编译器⾃自举 • 语⾔言的层次 • 扩充语⾔言:S’ • ⾼高层语⾔言:S • 底层语⾔言:T • 初始的三个编译器 • t:S —> T by T • h:S —> T by S • h’:S’ —> T by S • 叠罗汉的游戏 • t1’ = [t](h’) :S’ —> T by T • t2 ‘= [t1’](h’):S’ —> T by T • t3 ‘= [t2’](h’):S’ —> T by T
  6. 6. 编译器⾃自举
  7. 7. 第⼀一⼆二村射影
  8. 8. 第⼆二⼆二村射影
  9. 9. 第三⼆二村射影

×