𝐶𝑎𝑟𝑎𝑚𝑖𝑧𝑎𝑟𝑢'𝑠 𝐵𝑙𝑜𝑔 feed:2023:10:17

𝐶𝑎𝑟𝑎𝑚𝑖𝑧𝑎𝑟𝑢'𝑠 𝐵𝑙𝑜𝑔 feed:2023:10:17 https://www.blog.caramizaru.xyz/ Fri, 31 Jul 2026 06:34:24 +0000 FeedCreator 1.8 https://www.blog.caramizaru.xyz/lib/exe/fetch.php/wiki:favicon.ico 𝐶𝑎𝑟𝑎𝑚𝑖𝑧𝑎𝑟𝑢'𝑠 𝐵𝑙𝑜𝑔 https://www.blog.caramizaru.xyz/ Theory of Computation and Automata - Shai Simonson https://www.blog.caramizaru.xyz/doku.php/feed:2023:10:17:theory_of_computation_and_automata_-_shai_simonson <div class="wrap_centeralign plugin_wrap"> <h1 class="sectionedit3" id="theory_of_computation_and_automata_-_shai_simonson">Theory of Computation and Automata - Shai Simonson</h1> </div><iframe src="//www.youtube-nocookie.com/embed/Pt6GBVIifZA?" width="520" height="293" style="width:520px;height:293px;" class="vshare vshare__center" allowfullscreen="" frameborder="0" scrolling="no" data-domain="www.youtube-nocookie.com" loading="lazy"><h3></h3></iframe><div class="level1"> </div> <div class="level1"> <hr /> <div class="wrap_centeralign plugin_wrap"> <p> <a href="https://www.youtube.com/watch?v=Pt6GBVIifZA&list=PL7HjUNIdk93ThXvz2Oa_g30Jt3Owwm4HZ&ab_channel=ChaoXu" class="urlextern" title="https://www.youtube.com/watch?v=Pt6GBVIifZA&list=PL7HjUNIdk93ThXvz2Oa_g30Jt3Owwm4HZ&ab_channel=ChaoXu" rel="ugc nofollow">Playlist</a> </p> </div><div class="tags"><span> <a href="https://www.blog.caramizaru.xyz/doku.php/tag:math?do=showtag&tag=math" class="wikilink1" title="tag:math" rel="tag">math</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:discrete-math?do=showtag&tag=discrete-math" class="wikilink1" title="tag:discrete-math" rel="tag">discrete-math</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:formal-languages?do=showtag&tag=formal-languages" class="wikilink1" title="tag:formal-languages" rel="tag">formal-languages</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:automata?do=showtag&tag=Automata" class="wikilink1" title="tag:automata" rel="tag">Automata</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:theory-of-computation?do=showtag&tag=Theory-of-Computation" class="wikilink1" title="tag:theory-of-computation" rel="tag">Theory-of-Computation</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:finite-state-machines?do=showtag&tag=Finite-State-Machines" class="wikilink1" title="tag:finite-state-machines" rel="tag">Finite-State-Machines</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:fsm?do=showtag&tag=FSM" class="wikilink1" title="tag:fsm" rel="tag">FSM</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:pumping-lemma?do=showtag&tag=Pumping-Lemma" class="wikilink1" title="tag:pumping-lemma" rel="tag">Pumping-Lemma</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:context-free-languages?do=showtag&tag=Context-Free-Languages" class="wikilink1" title="tag:context-free-languages" rel="tag">Context-Free-Languages</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:cfg?do=showtag&tag=CFG" class="wikilink1" title="tag:cfg" rel="tag">CFG</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:pushdown-machines?do=showtag&tag=Pushdown-Machines" class="wikilink1" title="tag:pushdown-machines" rel="tag">Pushdown-Machines</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:undecidability?do=showtag&tag=Undecidability" class="wikilink1" title="tag:undecidability" rel="tag">Undecidability</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:turing-machines?do=showtag&tag=Turing-Machines" class="wikilink1" title="tag:turing-machines" rel="tag">Turing-Machines</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:halting-problem?do=showtag&tag=Halting-Problem" class="wikilink1" title="tag:halting-problem" rel="tag">Halting-Problem</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:decidability?do=showtag&tag=Decidability" class="wikilink1" title="tag:decidability" rel="tag">Decidability</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:complexity-theory?do=showtag&tag=Complexity-Theory" class="wikilink1" title="tag:complexity-theory" rel="tag">Complexity-Theory</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:savitch_s-theorem?do=showtag&tag=Savitch%27s-Theorem" class="wikilink1" title="tag:savitch_s-theorem" rel="tag">Savitch's-Theorem</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:space-hierarchy?do=showtag&tag=Space-Hierarchy" class="wikilink1" title="tag:space-hierarchy" rel="tag">Space-Hierarchy</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:decidability?do=showtag&tag=Decidability" class="wikilink1" title="tag:decidability" rel="tag">Decidability</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:complexity-relationship?do=showtag&tag=Complexity-Relationship" class="wikilink1" title="tag:complexity-relationship" rel="tag">Complexity-Relationship</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:recursion-theorem?do=showtag&tag=Recursion-Theorem" class="wikilink1" title="tag:recursion-theorem" rel="tag">Recursion-Theorem</a>, <a href="https://www.blog.caramizaru.xyz/doku.php/tag:shai-simonson?do=showtag&tag=Shai-Simonson" class="wikilink1" title="tag:shai-simonson" rel="tag">Shai-Simonson</a> </span></div> <p> <ul class="socialite"><li class="icon"><a class="twitter" target="_blank" href="https://twitter.com/intent/tweet?url=https%3A%2F%2Fwww.blog.caramizaru.xyz%2Fdoku.php%2F&text=">Twitter</a></li><li class="icon"><a class="facebook" target="_blank" href="http://www.facebook.com/sharer.php?u=https%3A%2F%2Fwww.blog.caramizaru.xyz%2Fdoku.php%2F">Facebook</a></li><li class="icon"><a class="googleplus" target="_blank" href="https://plus.google.com/share?url=https%3A%2F%2Fwww.blog.caramizaru.xyz%2Fdoku.php%2F">Google+</a></li><li class="icon"><a class="linkedin" target="_blank" href="https://www.linkedin.com/shareArticle?url=https%3A%2F%2Fwww.blog.caramizaru.xyz%2Fdoku.php%2F&title=&summary=&mini=true&source=https%3A%2F%2Fwww.blog.caramizaru.xyz%2Fdoku.php%2F">LinkedIn</a></li><li class="icon"><a class="pinterest" target="_blank" href="https://pinterest.com/pin/create/button/?url=https%3A%2F%2Fwww.blog.caramizaru.xyz%2Fdoku.php%2F&description=">Pinterest</a></li><li class="icon"><a class="tumblr" target="_blank" href="http://www.tumblr.com/share/link?url=https%3A%2F%2Fwww.blog.caramizaru.xyz%2Fdoku.php%2F&description=">Tumblr</a></li><li class="icon"><a class="reddit" target="_blank" href="http://www.reddit.com/submit?url=https%3A%2F%2Fwww.blog.caramizaru.xyz%2Fdoku.php%2F&title=">Reddit</a></li><li class="icon"><a class="taringa" target="_blank" href="http://www.taringa.net/widgets/share.php?url=https%3A%2F%2Fwww.blog.caramizaru.xyz%2Fdoku.php%2F&body=">Taringa</a></li><li class="icon"><a class="stumbleupon" target="_blank" href="http://www.stumbleupon.com/submit?url=https%3A%2F%2Fwww.blog.caramizaru.xyz%2Fdoku.php%2F&title=">StumbleUpon</a></li><li class="icon"><a class="telegram" target="_blank" href="https://telegram.me/share/url?url=https%3A%2F%2Fwww.blog.caramizaru.xyz%2Fdoku.php%2F&text=">Telegram</a></li><li class="icon"><a class="hackernews" target="_blank" href="https://news.ycombinator.com/submitlink?u=https%3A%2F%2Fwww.blog.caramizaru.xyz%2Fdoku.php%2F&t=">Hacker News</a></li><li class="icon"><a class="xing" target="_blank" href="https://www.xing-share.com/app/user?op=share;sc_p=xing-share;url=https%3A%2F%2Fwww.blog.caramizaru.xyz%2Fdoku.php%2F">Xing</a></li><li class="icon"><a class="vk" target="_blank" href="https://vk.com/share.php?url=https%3A%2F%2Fwww.blog.caramizaru.xyz%2Fdoku.php%2F&title=&description=&noparse=true">Vk</a></li><li class="icon"><a class="email" target="_blank" href="mailto:?subject=&body=https%3A%2F%2Fwww.blog.caramizaru.xyz%2Fdoku.php%2F: ">Email</a></li></ul> </p> </div> anonymous@undisclosed.example.com (Anonymous) math discrete-math formal-languages automata theory-of-computation finite-state-machines fsm pumping-lemma context-free-languages cfg pushdown-machines undecidability turing-machines halting-problem decidability complexity-theory savitch_s-theorem space-hierarchy complexity-relationship recursion-theorem shai-simonson Sat, 27 Apr 2024 11:31:48 +0000