0

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

4
Contributors
6
Replies
8
Views
9 Years
Discussion Span
Last Post by sarehu
0

> 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.

0

> 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!!!

0

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?

0

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.

0

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

0

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

This topic has been dead for over six months. Start a new discussion instead.
Have something to contribute to this discussion? Please be thoughtful, detailed and courteous, and be sure to adhere to our posting rules.