Computer Science / Automata Theory

Theory of Automata and Computation

Brought by: Udemy

Overview

Theory of Automata/Computation, Formal Languages, DFA, NFA, CFG, CFL, Pushdown Automata, Turing Machine, Undecidability

What you'll learn:
  • Learn what is Theory of Automata and why we study it.
  • Learn Langauage and its fundamentals
  • Learn Formal Languages and Informal Languages
  • Learn to define a Language i.e Descriptive Definition and Recursive Definition
  • Learn Regular Expression with elaborate exmples
  • Learn Finite Automata and its two with every detail along with examples
  • LearnTransition Graph
  • Learn Regular VS Non-Regular Languages
  • Learn Context Free Languages and Context free Grammars
  • Learn Pushdown Automata (PDA) from introduction to solved examples
  • Learn Turing Machine along with solved examples
  • Learn Decidable, Partially decidable and Undecidable languages

This is the most compendious and extensive, yet very straight forward course on the Theory of Automata and Computation. Whether you are a beginner in Computer Sciences , already know basics of Formal languages and theoretical models for machines or want to learn the advanced traits in the Theory of Automata and Computation, then this course is for you.

In this course, I will teach you the Theory of Automata in a very simple and interactive manner.

With over 25 lectures that comprise of three and half hours of video lectures, we have tried not to leave any minor detail without explaining it. This course includes quizzes at the end of major sections which will help you in your course exams or other competitive exams. Each and every topic has been covered with ample and elaborate examples to make your concepts precisely clear.

In this course on Theory of Automata we cover wide range of topics, including:

  • Introduction to the Theory of Automata and why we study it?

  • Language and its fundamental building blocks

  • Formal Languages and Informal Languages

  • Defining a Language i.e Descriptive Definition and Recursive Definition of a Language

  • Regular Expression i.e. what is it? and how to make it?

  • Finite Automata and its two types i.e. DFA and NFA

  • Transition Graph

  • Regular VS Non-Regular Languages

  • Context Free Languages and Context free Grammars

  • Pushdown Automata (PDA)

  • Turing Machine

  • Decidability and Undecidability i.e. Decidable, Partially decidable, and undecidable languages

Taught by

Abid Hussain

Computer Science / Automata Theory
Theory of Automata and Computation
Go to course

Theory of Automata and Computation

Brought by: Udemy

  • Udemy
  • Paid
  • English
  • Certificate Available
  • Available at any time
  • beginner
  • English
MessagesTimelineExceptionsViews14RouteQueries6Models5GateSessionRequest
8.1.2PHP Version745msRequest Duration2MBMemory UsageGET en/courses/{slug}Route
    • Booting (470ms)
    • Application (273ms)
    • 1 x Booting (63.13%)
      470.01ms
      1 x Application (36.62%)
      272.64ms
      14 templates were rendered
      • public.courses.show (resources/views/public/courses/show.blade.php)3bladefile
        Params
        0
        course
        1
        links
        2
        config
      • public.courses.partials.breadcrumbs (resources/views/public/courses/partials/breadcrumbs.blade.php)6bladefile
        Params
        0
        __env
        1
        app
        2
        errors
        3
        course
        4
        links
        5
        config
      • public.courses.partials.heading (resources/views/public/courses/partials/heading.blade.php)7bladefile
        Params
        0
        __env
        1
        app
        2
        errors
        3
        course
        4
        links
        5
        config
        6
        classes
      • public.courses.partials.details (resources/views/public/courses/partials/details.blade.php)6bladefile
        Params
        0
        __env
        1
        app
        2
        errors
        3
        course
        4
        links
        5
        config
      • public.courses.partials.breadcrumbs (resources/views/public/courses/partials/breadcrumbs.blade.php)6bladefile
        Params
        0
        __env
        1
        app
        2
        errors
        3
        course
        4
        links
        5
        config
      • public.courses.partials.heading (resources/views/public/courses/partials/heading.blade.php)7bladefile
        Params
        0
        __env
        1
        app
        2
        errors
        3
        course
        4
        links
        5
        config
        6
        classes
      • public.layouts.main (resources/views/public/layouts/main.blade.php)6bladefile
        Params
        0
        __env
        1
        app
        2
        errors
        3
        course
        4
        links
        5
        config
      • public.layouts.partials.meta (resources/views/public/layouts/partials/meta.blade.php)6bladefile
        Params
        0
        __env
        1
        app
        2
        errors
        3
        course
        4
        links
        5
        config
      • public.layouts.partials.navbar (resources/views/public/layouts/partials/navbar.blade.php)6bladefile
        Params
        0
        __env
        1
        app
        2
        errors
        3
        course
        4
        links
        5
        config
      • public.auth.profile.partials.links (resources/views/public/auth/profile/partials/links.blade.php)6bladefile
        Params
        0
        __env
        1
        app
        2
        errors
        3
        course
        4
        links
        5
        config
      • public.auth.profile.partials.link (resources/views/public/auth/profile/partials/link.blade.php)8bladefile
        Params
        0
        __env
        1
        app
        2
        errors
        3
        course
        4
        links
        5
        config
        6
        route
        7
        title
      • public.auth.profile.partials.link (resources/views/public/auth/profile/partials/link.blade.php)8bladefile
        Params
        0
        __env
        1
        app
        2
        errors
        3
        course
        4
        links
        5
        config
        6
        route
        7
        title
      • public.auth.profile.partials.link (resources/views/public/auth/profile/partials/link.blade.php)8bladefile
        Params
        0
        __env
        1
        app
        2
        errors
        3
        course
        4
        links
        5
        config
        6
        route
        7
        title
      • public.layouts.partials.flash-session (resources/views/public/layouts/partials/flash-session.blade.php)6bladefile
        Params
        0
        __env
        1
        app
        2
        errors
        3
        course
        4
        links
        5
        config
      uri
      GET en/courses/{slug}
      middleware
      web, localize:en
      controller
      App\Http\Controllers\CourseController@show
      as
      en.courses.show
      namespace
      prefix
      /en
      where
      file
      app/Http/Controllers/CourseController.php:17-35
      6 statements were executed12.1ms
      corspedia
      • select * from `courses` where `slug_en` = 'theory-of-automata-and-computation' limit 1
        10.65ms/app/Http/Controllers/CourseController.php:20corspedia
        Metadata
        Bindings
        • 0. theory-of-automata-and-computation
        Backtrace
        • 17. /app/Http/Controllers/CourseController.php:20
        • 18. /vendor/laravel/framework/src/Illuminate/Routing/Controller.php:54
        • 19. /vendor/laravel/framework/src/Illuminate/Routing/ControllerDispatcher.php:43
        • 20. /vendor/laravel/framework/src/Illuminate/Routing/Route.php:260
        • 21. /vendor/laravel/framework/src/Illuminate/Routing/Route.php:205
      • update `courses` set `visitors` = `visitors` + 1, `courses`.`updated_at` = '2025-07-28 08:18:15' where `id` = 5168
        500μs/app/Http/Controllers/CourseController.php:21corspedia
        Metadata
        Bindings
        • 0. 2025-07-28 08:18:15
        • 1. 5168
        Backtrace
        • 17. /app/Http/Controllers/CourseController.php:21
        • 18. /vendor/laravel/framework/src/Illuminate/Routing/Controller.php:54
        • 19. /vendor/laravel/framework/src/Illuminate/Routing/ControllerDispatcher.php:43
        • 20. /vendor/laravel/framework/src/Illuminate/Routing/Route.php:260
        • 21. /vendor/laravel/framework/src/Illuminate/Routing/Route.php:205
      • select `id`, `name_en`, `name_ar`, `topic_id`, `slug_en`, `slug_ar` from `subjects` where `subjects`.`id` in (12)
        240μs/app/Http/Controllers/CourseController.php:23corspedia
        Metadata
        Backtrace
        • 20. /app/Http/Controllers/CourseController.php:23
        • 21. /vendor/laravel/framework/src/Illuminate/Routing/Controller.php:54
        • 22. /vendor/laravel/framework/src/Illuminate/Routing/ControllerDispatcher.php:43
        • 23. /vendor/laravel/framework/src/Illuminate/Routing/Route.php:260
        • 24. /vendor/laravel/framework/src/Illuminate/Routing/Route.php:205
      • select `id`, `name_en`, `name_ar`, `slug_en`, `slug_ar` from `topics` where `topics`.`id` in (1)
        200μs/app/Http/Controllers/CourseController.php:23corspedia
        Metadata
        Backtrace
        • 25. /app/Http/Controllers/CourseController.php:23
        • 26. /vendor/laravel/framework/src/Illuminate/Routing/Controller.php:54
        • 27. /vendor/laravel/framework/src/Illuminate/Routing/ControllerDispatcher.php:43
        • 28. /vendor/laravel/framework/src/Illuminate/Routing/Route.php:260
        • 29. /vendor/laravel/framework/src/Illuminate/Routing/Route.php:205
      • select * from `providers` where `providers`.`id` in (51) and `providers`.`deleted_at` is null
        260μs/app/Http/Controllers/CourseController.php:23corspedia
        Metadata
        Backtrace
        • 20. /app/Http/Controllers/CourseController.php:23
        • 21. /vendor/laravel/framework/src/Illuminate/Routing/Controller.php:54
        • 22. /vendor/laravel/framework/src/Illuminate/Routing/ControllerDispatcher.php:43
        • 23. /vendor/laravel/framework/src/Illuminate/Routing/Route.php:260
        • 24. /vendor/laravel/framework/src/Illuminate/Routing/Route.php:205
      • select * from `html_files` where `html_files`.`id` = 5159 limit 1
        250μs/app/Models/Course.php:84corspedia
        Metadata
        Bindings
        • 0. 5159
        Backtrace
        • 21. /app/Models/Course.php:84
        • 28. view::public.courses.show:29
        • 30. /vendor/laravel/framework/src/Illuminate/Filesystem/Filesystem.php:125
        • 31. /vendor/laravel/framework/src/Illuminate/View/Engines/PhpEngine.php:58
        • 32. /vendor/laravel/framework/src/Illuminate/View/Engines/CompilerEngine.php:72
      App\Models\HtmlFile
      1
      App\Models\Provider
      1
      App\Models\Topic
      1
      App\Models\Subject
      1
      App\Models\Course
      1
        _token
        ERTBHEzX25nA20xRFZCgProtMKWdbEvnO5dv7VNY
        locale
        en
        _previous
        array:1 [ "url" => "https://www.corspedia.com/en/courses/theory-of-automata-and-computation" ]
        _flash
        array:2 [ "old" => [] "new" => [] ]
        PHPDEBUGBAR_STACK_DATA
        []
        path_info
        /en/courses/theory-of-automata-and-computation
        status_code
        200
        status_text
        OK
        format
        html
        content_type
        text/html; charset=UTF-8
        request_query
        []
        request_request
        []
        request_headers
          0 of 0   
        array:24 [▼
  "cf-ipcountry" => array:1 [▶
    0 => "US"
  ]
  "cf-connecting-ip" => array:1 [▶
    0 => "216.73.216.169"
  ]
  "cdn-loop" => array:1 [▶
    0 => "cloudflare; loops=1"
  ]
  "x-forwarded-proto" => array:1 [▶
    0 => "https"
  ]
  "x-forwarded-for" => array:1 [▶
    0 => "216.73.216.169"
  ]
  "sec-fetch-site" => array:1 [▶
    0 => "none"
  ]
  "accept" => array:1 [▶
    0 => "text/html,application/xhtml+xml,application/xml;q=0.9,image/avif,image/webp,image/apng,*/*;q=0.8,application/signed-exchange;v=b3;q=0.7"
  ]
  "user-agent" => array:1 [▶
    0 => "Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)"
  ]
  "upgrade-insecure-requests" => array:1 [▶
    0 => "1"
  ]
  "sec-ch-ua-platform" => array:1 [▶
    0 => ""Windows""
  ]
  "sec-ch-ua-mobile" => array:1 [▶
    0 => "?0"
  ]
  "sec-ch-ua" => array:1 [▶
    0 => ""Chromium";v="130", "HeadlessChrome";v="130", "Not?A_Brand";v="99""
  ]
  "cache-control" => array:1 [▶
    0 => "no-cache"
  ]
  "pragma" => array:1 [▶
    0 => "no-cache"
  ]
  "sec-fetch-dest" => array:1 [▶
    0 => "document"
  ]
  "cf-ray" => array:1 [▶
    0 => "9662f1dcbabea1fc-YYZ"
  ]
  "accept-encoding" => array:1 [▶
    0 => "gzip, br"
  ]
  "priority" => array:1 [▶
    0 => "u=0, i"
  ]
  "sec-fetch-user" => array:1 [▶
    0 => "?1"
  ]
  "sec-fetch-mode" => array:1 [▶
    0 => "navigate"
  ]
  "cf-visitor" => array:1 [▶
    0 => "{"scheme":"https"}"
  ]
  "host" => array:1 [▶
    0 => "www.corspedia.com"
  ]
  "content-length" => array:1 [▶
    0 => ""
  ]
  "content-type" => array:1 [▶
    0 => ""
  ]
]
        request_server
          0 of 0   
        array:50 [▼
  "USER" => "www-data"
  "HOME" => "/var/www"
  "HTTP_CF_IPCOUNTRY" => "US"
  "HTTP_CF_CONNECTING_IP" => "216.73.216.169"
  "HTTP_CDN_LOOP" => "cloudflare; loops=1"
  "HTTP_X_FORWARDED_PROTO" => "https"
  "HTTP_X_FORWARDED_FOR" => "216.73.216.169"
  "HTTP_SEC_FETCH_SITE" => "none"
  "HTTP_ACCEPT" => "text/html,application/xhtml+xml,application/xml;q=0.9,image/avif,image/webp,image/apng,*/*;q=0.8,application/signed-exchange;v=b3;q=0.7"
  "HTTP_USER_AGENT" => "Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)"
  "HTTP_UPGRADE_INSECURE_REQUESTS" => "1"
  "HTTP_SEC_CH_UA_PLATFORM" => ""Windows""
  "HTTP_SEC_CH_UA_MOBILE" => "?0"
  "HTTP_SEC_CH_UA" => ""Chromium";v="130", "HeadlessChrome";v="130", "Not?A_Brand";v="99""
  "HTTP_CACHE_CONTROL" => "no-cache"
  "HTTP_PRAGMA" => "no-cache"
  "HTTP_SEC_FETCH_DEST" => "document"
  "HTTP_CF_RAY" => "9662f1dcbabea1fc-YYZ"
  "HTTP_ACCEPT_ENCODING" => "gzip, br"
  "HTTP_PRIORITY" => "u=0, i"
  "HTTP_SEC_FETCH_USER" => "?1"
  "HTTP_SEC_FETCH_MODE" => "navigate"
  "HTTP_CF_VISITOR" => "{"scheme":"https"}"
  "HTTP_HOST" => "www.corspedia.com"
  "REDIRECT_STATUS" => "200"
  "SERVER_NAME" => "corspedia.com"
  "SERVER_PORT" => "443"
  "SERVER_ADDR" => "141.95.147.152"
  "REMOTE_USER" => ""
  "REMOTE_PORT" => "30172"
  "REMOTE_ADDR" => "108.162.241.47"
  "SERVER_SOFTWARE" => "nginx/1.18.0"
  "GATEWAY_INTERFACE" => "CGI/1.1"
  "HTTPS" => "on"
  "REQUEST_SCHEME" => "https"
  "SERVER_PROTOCOL" => "HTTP/2.0"
  "DOCUMENT_ROOT" => "/var/www/corspedia/public"
  "DOCUMENT_URI" => "/index.php"
  "REQUEST_URI" => "/en/courses/theory-of-automata-and-computation"
  "SCRIPT_NAME" => "/index.php"
  "CONTENT_LENGTH" => ""
  "CONTENT_TYPE" => ""
  "REQUEST_METHOD" => "GET"
  "QUERY_STRING" => ""
  "SCRIPT_FILENAME" => "/var/www/corspedia/public/index.php"
  "PATH_INFO" => ""
  "FCGI_ROLE" => "RESPONDER"
  "PHP_SELF" => "/index.php"
  "REQUEST_TIME_FLOAT" => 1753690695.3884
  "REQUEST_TIME" => 1753690695
]
        request_cookies
        []
        response_headers
          0 of 0   
        array:5 [▼
  "content-type" => array:1 [▶
    0 => "text/html; charset=UTF-8"
  ]
  "cache-control" => array:1 [▶
    0 => "no-cache, private"
  ]
  "date" => array:1 [▶
    0 => "Mon, 28 Jul 2025 08:18:15 GMT"
  ]
  "set-cookie" => array:2 [▶
    0 => "XSRF-TOKEN=eyJpdiI6IlprclFaeU5zUGk2TTY1M1F6TUNVb1E9PSIsInZhbHVlIjoiUHllVk9iT1JOYm1RU2orNVc2YXBUQjRIZXBPdFRsN3N3OW1qNzdrTTJnaHp3RnUvMEoydUVHdmU3ZjN6WXl0Q0xrcFhUeU1mQVVzdGw3QW1DNTZoN1hYd2RwWlkva0EyYmpISEZDdlkvQzhUTitCOTJRTVNNWWM4YU9xV0c4cVIiLCJtYWMiOiI0MmQzZDhjODZkZmYyYTMwYjc4NDFkOWMxMTEwMDg2NDhhOTk1NjI0ZDg1MzFkZThhNTVjOGY0MTQyNzQ4ZGQ1IiwidGFnIjoiIn0%3D; expires=Mon, 28 Jul 2025 10:18:16 GMT; Max-Age=7200; path=/; samesite=lax ◀XSRF-TOKEN=eyJpdiI6IlprclFaeU5zUGk2TTY1M1F6TUNVb1E9PSIsInZhbHVlIjoiUHllVk9iT1JOYm1RU2orNVc2YXBUQjRIZXBPdFRsN3N3OW1qNzdrTTJnaHp3RnUvMEoydUVHdmU3ZjN6WXl0Q0xrcFhUe ▶"
    1 => "laravel_session=eyJpdiI6IkQxWkp0WXlHR0JWMTJBcHVjaFR6K2c9PSIsInZhbHVlIjoiU01lZ09tT25zRW9GalZNSG9BQzM0WXlVL0wyMWhqd2czdEVnU0p1ekVoSXgwdStZVC9DZFRhcGZvZEpTbkpDanB0dWhoS1ZJZHdHaUhIbzlIT0tkcVlHbkp6YWNrYi9vYjBCQ1BuNU1ZUzVCN250RlU0K3dsNXRJNFJuRm5meW8iLCJtYWMiOiIwODdhMjJmNDBlNTQwN2I3Y2MyZDdkZjJkZWMzNjI1Y2IyZWY0MDNlOGViYzFlYTQzNzQ0NWViZjMyMmFkMDkxIiwidGFnIjoiIn0%3D; expires=Mon, 28 Jul 2025 10:18:16 GMT; Max-Age=7200; path=/; httponly; samesite=lax ◀laravel_session=eyJpdiI6IkQxWkp0WXlHR0JWMTJBcHVjaFR6K2c9PSIsInZhbHVlIjoiU01lZ09tT25zRW9GalZNSG9BQzM0WXlVL0wyMWhqd2czdEVnU0p1ekVoSXgwdStZVC9DZFRhcGZvZEpTbkpDanB0 ▶"
  ]
  "Set-Cookie" => array:2 [▶
    0 => "XSRF-TOKEN=eyJpdiI6IlprclFaeU5zUGk2TTY1M1F6TUNVb1E9PSIsInZhbHVlIjoiUHllVk9iT1JOYm1RU2orNVc2YXBUQjRIZXBPdFRsN3N3OW1qNzdrTTJnaHp3RnUvMEoydUVHdmU3ZjN6WXl0Q0xrcFhUeU1mQVVzdGw3QW1DNTZoN1hYd2RwWlkva0EyYmpISEZDdlkvQzhUTitCOTJRTVNNWWM4YU9xV0c4cVIiLCJtYWMiOiI0MmQzZDhjODZkZmYyYTMwYjc4NDFkOWMxMTEwMDg2NDhhOTk1NjI0ZDg1MzFkZThhNTVjOGY0MTQyNzQ4ZGQ1IiwidGFnIjoiIn0%3D; expires=Mon, 28-Jul-2025 10:18:16 GMT; path=/ ◀XSRF-TOKEN=eyJpdiI6IlprclFaeU5zUGk2TTY1M1F6TUNVb1E9PSIsInZhbHVlIjoiUHllVk9iT1JOYm1RU2orNVc2YXBUQjRIZXBPdFRsN3N3OW1qNzdrTTJnaHp3RnUvMEoydUVHdmU3ZjN6WXl0Q0xrcFhUe ▶"
    1 => "laravel_session=eyJpdiI6IkQxWkp0WXlHR0JWMTJBcHVjaFR6K2c9PSIsInZhbHVlIjoiU01lZ09tT25zRW9GalZNSG9BQzM0WXlVL0wyMWhqd2czdEVnU0p1ekVoSXgwdStZVC9DZFRhcGZvZEpTbkpDanB0dWhoS1ZJZHdHaUhIbzlIT0tkcVlHbkp6YWNrYi9vYjBCQ1BuNU1ZUzVCN250RlU0K3dsNXRJNFJuRm5meW8iLCJtYWMiOiIwODdhMjJmNDBlNTQwN2I3Y2MyZDdkZjJkZWMzNjI1Y2IyZWY0MDNlOGViYzFlYTQzNzQ0NWViZjMyMmFkMDkxIiwidGFnIjoiIn0%3D; expires=Mon, 28-Jul-2025 10:18:16 GMT; path=/; httponly ◀laravel_session=eyJpdiI6IkQxWkp0WXlHR0JWMTJBcHVjaFR6K2c9PSIsInZhbHVlIjoiU01lZ09tT25zRW9GalZNSG9BQzM0WXlVL0wyMWhqd2czdEVnU0p1ekVoSXgwdStZVC9DZFRhcGZvZEpTbkpDanB0 ▶"
  ]
]
        session_attributes
          0 of 0   
        array:5 [▼
  "_token" => "ERTBHEzX25nA20xRFZCgProtMKWdbEvnO5dv7VNY"
  "locale" => "en"
  "_previous" => array:1 [▶
    "url" => "https://www.corspedia.com/en/courses/theory-of-automata-and-computation"
  ]
  "_flash" => array:2 [▶
    "old" => []
    "new" => []
  ]
  "PHPDEBUGBAR_STACK_DATA" => []
]