<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://cs.indstate.edu/web/index.php?action=history&amp;feed=atom&amp;title=Theory_of_Computation</id>
	<title>Theory of Computation - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://cs.indstate.edu/web/index.php?action=history&amp;feed=atom&amp;title=Theory_of_Computation"/>
	<link rel="alternate" type="text/html" href="https://cs.indstate.edu/web/index.php?title=Theory_of_Computation&amp;action=history"/>
	<updated>2026-04-14T19:10:21Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.44.0</generator>
	<entry>
		<id>https://cs.indstate.edu/web/index.php?title=Theory_of_Computation&amp;diff=407&amp;oldid=prev</id>
		<title>Jkinne: 1 revision imported</title>
		<link rel="alternate" type="text/html" href="https://cs.indstate.edu/web/index.php?title=Theory_of_Computation&amp;diff=407&amp;oldid=prev"/>
		<updated>2025-08-17T13:22:22Z</updated>

		<summary type="html">&lt;p&gt;1 revision imported&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 13:22, 17 August 2025&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;4&quot; class=&quot;diff-notice&quot; lang=&quot;en&quot;&gt;&lt;div class=&quot;mw-diff-empty&quot;&gt;(No difference)&lt;/div&gt;
&lt;/td&gt;&lt;/tr&gt;
&lt;!-- diff cache key wiki2:diff:1.41:old-406:rev-407 --&gt;
&lt;/table&gt;</summary>
		<author><name>Jkinne</name></author>
	</entry>
	<entry>
		<id>https://cs.indstate.edu/web/index.php?title=Theory_of_Computation&amp;diff=406&amp;oldid=prev</id>
		<title>wiki_previous&gt;Jkinne: /* Final Exam, Spring 2019 */</title>
		<link rel="alternate" type="text/html" href="https://cs.indstate.edu/web/index.php?title=Theory_of_Computation&amp;diff=406&amp;oldid=prev"/>
		<updated>2019-05-07T19:35:45Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;Final Exam, Spring 2019&lt;/span&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;=Exam review=&lt;br /&gt;
&lt;br /&gt;
==Regular Expressions Exam, Spring 2019==&lt;br /&gt;
Sample exam - [http://cs.indstate.edu/~jkinne/cs420-s2019/code/exam1_practice.txt exam1_practice.txt]&lt;br /&gt;
&lt;br /&gt;
First exam&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/cs420-s2019/code/exam1.docx exam1.docx]&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/cs420-s2019/code/exam1-solutions.docx exam1-solutions.docx]&lt;br /&gt;
* Video solutions&lt;br /&gt;
** Note - these videos play in the browser on some browsers (e.g., Chrome) and are downloaded by default on others (e.g., Safari)&lt;br /&gt;
** [http://cs.indstate.edu/~jkinne/.video/exam1-1a-dfa.webm DFA question 1a]&lt;br /&gt;
** [http://cs.indstate.edu/~jkinne/.video/exam1-1b-pumping-lemma.webm Pumping Lemma question 1b]&lt;br /&gt;
** [http://cs.indstate.edu/~jkinne/.video/exam1-1c-dfa.webm DFA question 1c]&lt;br /&gt;
** [http://cs.indstate.edu/~jkinne/.video/exam1-1d-pumping-lemma.webm Pumping Lemma question 1d]&lt;br /&gt;
** [http://cs.indstate.edu/~jkinne/.video/exam1-2-python3-re.webm Python3 regular expressions question 2]&lt;br /&gt;
** [http://cs.indstate.edu/~jkinne/.video/exam1-3a-contradiction.webm Proof by contradiction question 3a]&lt;br /&gt;
** [http://cs.indstate.edu/~jkinne/.video/exam1-3b-induction.webm Proof by induction question 3b]&lt;br /&gt;
** [http://cs.indstate.edu/~jkinne/.video/exam1-3c-contrapositive.webm Contrapositive question 3c]&lt;br /&gt;
** [http://cs.indstate.edu/~jkinne/.video/exam1-4-transition-table.webm DFA transition table question 4]&lt;br /&gt;
** [http://cs.indstate.edu/~jkinne/.video/exam1-5-explain-L.webm What is the language question 5]&lt;br /&gt;
** [http://cs.indstate.edu/~jkinne/.video/exam1-6-reg-intersection.webm Intersection of regular languages question 6]&lt;br /&gt;
&lt;br /&gt;
==Context Free Languages Exam, Spring 2019==&lt;br /&gt;
Sample exam - [http://cs.indstate.edu/~jkinne/cs420-s2019/code/exam2_practice.txt exam2_practice.txt]&lt;br /&gt;
Sample exam solutions - [http://cs.indstate.edu/~jkinne/cs420-s2019/code/exam2_practice_solutions.docx exam2_practice_solutions.docx]&lt;br /&gt;
&lt;br /&gt;
==Final Exam, Spring 2019==&lt;br /&gt;
Note that the initial sample exam did have some mistakes.  Those mistakes were noted and fixed in the sample exam solutions document.  Below is a video of me typing up and explaining my solution for each of the problems.  In Firefox and Chrome these links play in the browser.&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/cs420-s2019/code/exam3_sample/exam3_sample.txt sample exam]&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/cs420-s2019/code/exam3_sample/exam3_sample_solutions.docx sample exam solutions]&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/.video/exam3_sample_cf_I1.webm CFL language I.1]&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/.video/exam3_sample_dfa_I.2.webm DFA language I.2]&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/.video/exam3_sample_p_I3.webm P language I.3]&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/.video/exam3_sample_np_I4.webm NP language I.4]&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/.video/exam3_sample_decidable_I5.webm Decidable language I.5]&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/.video/exam3_sample_undecidable_I6.webm Undecidable language I.6]&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/.video/exam3_sample_python3_re_II1.webm Python3 RE II.1]&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/.video/exam3_sample_reg_properties_II2.webm RE Regular language properties II.2]&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/.video/exam3_sample_cfg_properties_III1.webm CFG III.1]&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/.video/exam3_sample_pda_III2.webm PDA III.2]&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/.video/exam3_sample_TM_config_IV1.webm TM Configurations IV.1]&lt;br /&gt;
* [http://cs.indstate.edu/~jkinne/.video/exam3_sample_TM_problem_IV2.webm TM decidability IV.2]&lt;/div&gt;</summary>
		<author><name>wiki_previous&gt;Jkinne</name></author>
	</entry>
</feed>