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)










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)










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)










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






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

Ellipse (mathématiques)

Quarter-circle Tiles

Mont Emei