hey guys, anyone to provide a short lecture!

is automata theory important in computer science? what are example of real applications of automata and formal languages?

do they have anything to do with software development and verifications?

kind regards

> anyone to provide a short lecture!
Very short.
"Why haven't you used google?"

Presumably, you're looking for something to hand in with minimal effort.

> anyone to provide a short lecture!
Very short.
"Why haven't you used google?"

Presumably, you're looking for something to hand in with minimal effort.

actually its not like that!

i'm jst looking forward to persuing a career in automata and formal languages so i just need some help!!!

is automata theory important in computer science?

Yes.

what are example of real applications of automata and formal languages?

Regexes.

do they have anything to do with software development and verifications?

Verifications? What is "verifications"?

i'm jst looking forward to persuing a career in automata and formal languages so i just need some help!!!

You're getting a PhD?

Verifications? What is "verifications"?

means of checking whether the system fully complies with the requirements

You're getting a PhD?

no. i'm getting MSc.

Wow. Mathematical verification of requirements. Didn't we kinda get over 'proving software correct' in the late 70s?

Maybe. I think there are still some mission-critical things that they are unwilling to use Turing-complete languages for.