Automata theory on infinite words: any video lectures?











up vote
8
down vote

favorite
5












I am fun of automata theory (on infinite words). Can you suggest good video lectures on the subject?



An ideal course would cover topics like Buchi automata, LTL->Buchi translation, Streett and parity automata, determinization (or idea...), complementation, minimization, alternating automata. Also touching the topic of tree automata.



I am sure that this is taught in universities which have strong formal-methods groups (e.g. in Munich, Saarland, Paris, Warsaw, etc.), but, unfortunately, those lectures are neither recorded nor shared (to my knowledge).



(there is a good one here, but it is accessible from RWTH University only)






reference-request automata online-resources







share|cite|improve this question
























  • You might want to search the internet using the terms "automatic sequences" and "combinatorics on words"
    – Joel Reyes Noche
    Nov 15 '12 at 10:14










  • While it's not a video lecture, Wikipedia's page on infinitary automata (en.wikipedia.org/wiki/%CE%A9-automaton ) should provide an excellent starting point with a number of terms to get you searching further and even a pointer to a slide show.
    – Steven Stadnicki
    Jan 22 '13 at 8:13















up vote
8
down vote

favorite
5












I am fun of automata theory (on infinite words). Can you suggest good video lectures on the subject?



An ideal course would cover topics like Buchi automata, LTL->Buchi translation, Streett and parity automata, determinization (or idea...), complementation, minimization, alternating automata. Also touching the topic of tree automata.



I am sure that this is taught in universities which have strong formal-methods groups (e.g. in Munich, Saarland, Paris, Warsaw, etc.), but, unfortunately, those lectures are neither recorded nor shared (to my knowledge).



(there is a good one here, but it is accessible from RWTH University only)






reference-request automata online-resources







share|cite|improve this question
























  • You might want to search the internet using the terms "automatic sequences" and "combinatorics on words"
    – Joel Reyes Noche
    Nov 15 '12 at 10:14










  • While it's not a video lecture, Wikipedia's page on infinitary automata (en.wikipedia.org/wiki/%CE%A9-automaton ) should provide an excellent starting point with a number of terms to get you searching further and even a pointer to a slide show.
    – Steven Stadnicki
    Jan 22 '13 at 8:13













up vote
8
down vote

favorite
5









up vote
8
down vote

favorite
5






5





I am fun of automata theory (on infinite words). Can you suggest good video lectures on the subject?



An ideal course would cover topics like Buchi automata, LTL->Buchi translation, Streett and parity automata, determinization (or idea...), complementation, minimization, alternating automata. Also touching the topic of tree automata.



I am sure that this is taught in universities which have strong formal-methods groups (e.g. in Munich, Saarland, Paris, Warsaw, etc.), but, unfortunately, those lectures are neither recorded nor shared (to my knowledge).



(there is a good one here, but it is accessible from RWTH University only)






reference-request automata online-resources







share|cite|improve this question















I am fun of automata theory (on infinite words). Can you suggest good video lectures on the subject?



An ideal course would cover topics like Buchi automata, LTL->Buchi translation, Streett and parity automata, determinization (or idea...), complementation, minimization, alternating automata. Also touching the topic of tree automata.



I am sure that this is taught in universities which have strong formal-methods groups (e.g. in Munich, Saarland, Paris, Warsaw, etc.), but, unfortunately, those lectures are neither recorded nor shared (to my knowledge).



(there is a good one here, but it is accessible from RWTH University only)






reference-request automata online-resources




reference-request automata online-resources






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 13 hours ago

























asked Mar 16 '12 at 12:10









Ayrat

20518




20518












  • You might want to search the internet using the terms "automatic sequences" and "combinatorics on words"
    – Joel Reyes Noche
    Nov 15 '12 at 10:14










  • While it's not a video lecture, Wikipedia's page on infinitary automata (en.wikipedia.org/wiki/%CE%A9-automaton ) should provide an excellent starting point with a number of terms to get you searching further and even a pointer to a slide show.
    – Steven Stadnicki
    Jan 22 '13 at 8:13


















  • You might want to search the internet using the terms "automatic sequences" and "combinatorics on words"
    – Joel Reyes Noche
    Nov 15 '12 at 10:14










  • While it's not a video lecture, Wikipedia's page on infinitary automata (en.wikipedia.org/wiki/%CE%A9-automaton ) should provide an excellent starting point with a number of terms to get you searching further and even a pointer to a slide show.
    – Steven Stadnicki
    Jan 22 '13 at 8:13
















You might want to search the internet using the terms "automatic sequences" and "combinatorics on words"
– Joel Reyes Noche
Nov 15 '12 at 10:14




You might want to search the internet using the terms "automatic sequences" and "combinatorics on words"
– Joel Reyes Noche
Nov 15 '12 at 10:14












While it's not a video lecture, Wikipedia's page on infinitary automata (en.wikipedia.org/wiki/%CE%A9-automaton ) should provide an excellent starting point with a number of terms to get you searching further and even a pointer to a slide show.
– Steven Stadnicki
Jan 22 '13 at 8:13




While it's not a video lecture, Wikipedia's page on infinitary automata (en.wikipedia.org/wiki/%CE%A9-automaton ) should provide an excellent starting point with a number of terms to get you searching further and even a pointer to a slide show.
– Steven Stadnicki
Jan 22 '13 at 8:13










2 Answers
2






active

oldest

votes

















up vote
1
down vote













I found this lecture on Theory of Computation on youtube:
http://www.youtube.com/watch?v=HyUK5RAJg1c



I also suggest you get the book of Michael Sipser -- Introduction to the Theory of Computation.






share|cite|improve this answer

















  • 1




    if you have something about automata on infinite words, please share. and thanks for the link(i do have the book, yea, it is very good)!
    – Ayrat
    Mar 16 '12 at 13:27




















up vote
1
down vote













Try this out on youtube



https://www.youtube.com/watch?reload=9&v=KOu6IUssxbs



Please inform me whether that was helpful or not






share|cite|improve this answer





















  • The video you suggested is an interesting beginner-level source, which is given in the broader context of model checking (it explains what are buchi automata and some simple properties). It is not bad, but what I am looking for is a more in-depth course that covers topics like: buchi automata, LTL->Buchi translation, determinization (or idea...), complementation, minimization, alternating automata, etc. Thanks anyway!
    – Ayrat
    13 hours ago











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














 

draft saved


draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f120897%2fautomata-theory-on-infinite-words-any-video-lectures%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
1
down vote













I found this lecture on Theory of Computation on youtube:
http://www.youtube.com/watch?v=HyUK5RAJg1c



I also suggest you get the book of Michael Sipser -- Introduction to the Theory of Computation.






share|cite|improve this answer

















  • 1




    if you have something about automata on infinite words, please share. and thanks for the link(i do have the book, yea, it is very good)!
    – Ayrat
    Mar 16 '12 at 13:27

















up vote
1
down vote













I found this lecture on Theory of Computation on youtube:
http://www.youtube.com/watch?v=HyUK5RAJg1c



I also suggest you get the book of Michael Sipser -- Introduction to the Theory of Computation.






share|cite|improve this answer

















  • 1




    if you have something about automata on infinite words, please share. and thanks for the link(i do have the book, yea, it is very good)!
    – Ayrat
    Mar 16 '12 at 13:27















up vote
1
down vote










up vote
1
down vote









I found this lecture on Theory of Computation on youtube:
http://www.youtube.com/watch?v=HyUK5RAJg1c



I also suggest you get the book of Michael Sipser -- Introduction to the Theory of Computation.






share|cite|improve this answer












I found this lecture on Theory of Computation on youtube:
http://www.youtube.com/watch?v=HyUK5RAJg1c



I also suggest you get the book of Michael Sipser -- Introduction to the Theory of Computation.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Mar 16 '12 at 12:36









FiniteA

618413




618413








  • 1




    if you have something about automata on infinite words, please share. and thanks for the link(i do have the book, yea, it is very good)!
    – Ayrat
    Mar 16 '12 at 13:27
















  • 1




    if you have something about automata on infinite words, please share. and thanks for the link(i do have the book, yea, it is very good)!
    – Ayrat
    Mar 16 '12 at 13:27










1




1




if you have something about automata on infinite words, please share. and thanks for the link(i do have the book, yea, it is very good)!
– Ayrat
Mar 16 '12 at 13:27






if you have something about automata on infinite words, please share. and thanks for the link(i do have the book, yea, it is very good)!
– Ayrat
Mar 16 '12 at 13:27












up vote
1
down vote













Try this out on youtube



https://www.youtube.com/watch?reload=9&v=KOu6IUssxbs



Please inform me whether that was helpful or not






share|cite|improve this answer





















  • The video you suggested is an interesting beginner-level source, which is given in the broader context of model checking (it explains what are buchi automata and some simple properties). It is not bad, but what I am looking for is a more in-depth course that covers topics like: buchi automata, LTL->Buchi translation, determinization (or idea...), complementation, minimization, alternating automata, etc. Thanks anyway!
    – Ayrat
    13 hours ago















up vote
1
down vote













Try this out on youtube



https://www.youtube.com/watch?reload=9&v=KOu6IUssxbs



Please inform me whether that was helpful or not






share|cite|improve this answer





















  • The video you suggested is an interesting beginner-level source, which is given in the broader context of model checking (it explains what are buchi automata and some simple properties). It is not bad, but what I am looking for is a more in-depth course that covers topics like: buchi automata, LTL->Buchi translation, determinization (or idea...), complementation, minimization, alternating automata, etc. Thanks anyway!
    – Ayrat
    13 hours ago













up vote
1
down vote










up vote
1
down vote









Try this out on youtube



https://www.youtube.com/watch?reload=9&v=KOu6IUssxbs



Please inform me whether that was helpful or not






share|cite|improve this answer












Try this out on youtube



https://www.youtube.com/watch?reload=9&v=KOu6IUssxbs



Please inform me whether that was helpful or not







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered yesterday









Mostafa Ayaz

12.3k3733




12.3k3733












  • The video you suggested is an interesting beginner-level source, which is given in the broader context of model checking (it explains what are buchi automata and some simple properties). It is not bad, but what I am looking for is a more in-depth course that covers topics like: buchi automata, LTL->Buchi translation, determinization (or idea...), complementation, minimization, alternating automata, etc. Thanks anyway!
    – Ayrat
    13 hours ago


















  • The video you suggested is an interesting beginner-level source, which is given in the broader context of model checking (it explains what are buchi automata and some simple properties). It is not bad, but what I am looking for is a more in-depth course that covers topics like: buchi automata, LTL->Buchi translation, determinization (or idea...), complementation, minimization, alternating automata, etc. Thanks anyway!
    – Ayrat
    13 hours ago
















The video you suggested is an interesting beginner-level source, which is given in the broader context of model checking (it explains what are buchi automata and some simple properties). It is not bad, but what I am looking for is a more in-depth course that covers topics like: buchi automata, LTL->Buchi translation, determinization (or idea...), complementation, minimization, alternating automata, etc. Thanks anyway!
– Ayrat
13 hours ago




The video you suggested is an interesting beginner-level source, which is given in the broader context of model checking (it explains what are buchi automata and some simple properties). It is not bad, but what I am looking for is a more in-depth course that covers topics like: buchi automata, LTL->Buchi translation, determinization (or idea...), complementation, minimization, alternating automata, etc. Thanks anyway!
– Ayrat
13 hours ago


















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f120897%2fautomata-theory-on-infinite-words-any-video-lectures%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







-

Popular posts from this blog

Quarter-circle Tiles

Image
up vote 0 down vote favorite I have $99$ identical square tiles, each with a quarter-circle drawn on it like this: [asy] size(1.5cm); draw(Arc((2,0),1,90,180),red+1); draw((0,0)--(2,0)--(2,2)--(0,2)--(0,0)); [/asy] When I arrange the tiles in a $9times 11$ rectangular grid, each with a random orientation, what is the expected value of the number of full circles I form? I think this problem has to do with finding the chance any given 2x2 square has a circle, but I can't find it. expected-value share | cite | improve this question asked Nov 20 at 15:03 6minecraftninja 1 2
Read more

build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

Image
0 I think it's similiar to NFAs. I replace the finite states of the given automaton for start-states for my new automaton. I do it with $epsilon$ -transition from the start state to the actual finite states of the given automaton. The start state of the given automaton will be my accepting(finite) state of my new one. All transitions will be reversed of course to recognize the reversed word. But how do I have to change the stack of the pushdown automaton? That's tricky. formal-languages automata context-free-grammar share | cite | improve this question edited Nov 29 '18 at 14:20 joee
Read more

Mont Emei

Image
Mont Emei.mw-parser-output .entete.map{background-image:url("//upload.wikimedia.org/wikipedia/commons/7/7a/Picto_infobox_map.png")} Vue du sommet Wanfo du mont Emei Géographie Altitude 3 099  m , Wanfo Coordonnées 29° 31′ 11″ nord, 103° 19′ 57″ est Administration Pays   Chine Province Sichuan Ville-préfecture Leshan Géolocalisation sur la carte : Sichuan Mont Emei Géolocalisation sur la carte : Chine Mont Emei modifier   Paysage panoramique du mont Emei, incluant le paysage panoramique du grand Bouddha de Leshan *   Patrimoine mondial de l'UNESCO Passerelle en bois sur le versant ouest Pays   Chine Subdivision Sichuan Type Mixte Critères (iv) (vi) (x) Superficie 15 400 ha Numéro d’identification 779 Zone géographique Asie et Pacifique  ** Année d’inscription 1996 (20 e session) * Descriptif officiel UNESCO ** Classification géog
Read more