Description
Lab 13: Statement : Create this presentation using LATEX, Beamer and TikZ
Instructions to create the presentation
- Task is to make this presentation which you are looking at except the current slide.
- For graphs you should use Tikz package
- For including “Pictures” use includegraphics You can use images of any two Turing award winners, not necessarily the ones shown in the current presentation.
- Create a folder called rollno-lab13 containing all source files. Name of main file to be compiled is rollno.tex
- Create a tar ball rollno-lab13.tar.gz of your directory, and upload it.
- Do not include this slide in your presentation.
Outline of presentation
- Automations (restricted Turing Machines) – 2
Outline of presentation
- Automations (restricted Turing Machines) – 2
- Pictures of Turing award winners-2.
Automaton 1
0,1
start
Figure: X={x ∈ {0,1}∗| the second symbol from the right is 1}
Automaton 2
Figure: X={x ∈ {0,1}∗| the second symbol from the right is 1}
Turing Award Winner:1
Figure: Edmund Melson Clarke received the Turing Award in the year 2007, for his work on Model Checking.
Turing Award Winner:2
Figure: Sir Tim Berners-Lee received the Turing Award in the year 2016, for inventing the World Wide Web.
Thank you.
Lab 13: Statement : Create this presentation using LATEX, Beamer and TikZ
Author: [RollNumber goes here]
IIT Dharwad, India
Instructions to create the presentation
- Task is to make this presentation which you are looking at except the current slide.
- For graphs you should use Tikz package
- For including “Pictures” use includegraphics You can use images of any two Turing award winners, not necessarily the ones shown in the current presentation.
- Create a folder called rollno-lab13 containing all source files. Name of main file to be compiled is rollno.tex
- Create a tar ball rollno-lab13.tar.gz of your directory, and upload it.
- Do not include this slide in your presentation.
Outline of presentation
- Automations (restricted Turing Machines) – 2
Outline of presentation
- Automations (restricted Turing Machines) – 2
- Pictures of Turing award winners-2.
Automaton 1
0,1
start
Figure: X={x ∈ {0,1}∗| the second symbol from the right is 1}
Automaton 2
Figure: X={x ∈ {0,1}∗| the second symbol from the right is 1}
Turing Award Winner:1
Figure: Edmund Melson Clarke received the Turing Award in the year 2007, for his work on Model Checking.
Turing Award Winner:2
Figure: Sir Tim Berners-Lee received the Turing Award in the year 2016, for inventing the World Wide Web.
Thank you.
Lab 13: Statement : Create this presentation using LATEX, Beamer and TikZ
Author: [RollNumber goes here]
IIT Dharwad, India
Instructions to create the presentation
- Task is to make this presentation which you are looking at except the current slide.
- For graphs you should use Tikz package
- For including “Pictures” use includegraphics You can use images of any two Turing award winners, not necessarily the ones shown in the current presentation.
- Create a folder called rollno-lab13 containing all source files. Name of main file to be compiled is rollno.tex
- Create a tar ball rollno-lab13.tar.gz of your directory, and upload it.
- Do not include this slide in your presentation.
Outline of presentation
- Automations (restricted Turing Machines) – 2
Outline of presentation
- Automations (restricted Turing Machines) – 2
- Pictures of Turing award winners-2.
Automaton 1
0,1
start
Figure: X={x ∈ {0,1}∗| the second symbol from the right is 1}
Automaton 2
Figure: X={x ∈ {0,1}∗| the second symbol from the right is 1}
Turing Award Winner:1
Figure: Edmund Melson Clarke received the Turing Award in the year 2007, for his work on Model Checking.
Turing Award Winner:2
Figure: Sir Tim Berners-Lee received the Turing Award in the year 2016, for inventing the World Wide Web.
Thank you.
Lab 13: Statement : Create this presentation using LATEX, Beamer and TikZ
Author: [RollNumber goes here]
IIT Dharwad, India
Instructions to create the presentation
- Task is to make this presentation which you are looking at except the current slide.
- For graphs you should use Tikz package
- For including “Pictures” use includegraphics You can use images of any two Turing award winners, not necessarily the ones shown in the current presentation.
- Create a folder called rollno-lab13 containing all source files. Name of main file to be compiled is rollno.tex
- Create a tar ball rollno-lab13.tar.gz of your directory, and upload it.
- Do not include this slide in your presentation.
Outline of presentation
- Automations (restricted Turing Machines) – 2
Outline of presentation
- Automations (restricted Turing Machines) – 2
- Pictures of Turing award winners-2.
Automaton 1
0,1
start
Figure: X={x ∈ {0,1}∗| the second symbol from the right is 1}
Automaton 2
Figure: X={x ∈ {0,1}∗| the second symbol from the right is 1}
Turing Award Winner:1
Figure: Edmund Melson Clarke received the Turing Award in the year 2007, for his work on Model Checking.
Turing Award Winner:2
Figure: Sir Tim Berners-Lee received the Turing Award in the year 2016, for inventing the World Wide Web.
Thank you.







