Computer Science / Automata Theory

Theory of Automata and Computation

بواسطة: 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
الذهاب الي الدورة

Theory of Automata and Computation

بواسطة: Udemy

  • Udemy
  • مدفوعة
  • الإنجليزية
  • متاح شهادة
  • متاح في أي وقت
  • beginner
  • English
MessagesTimelineExceptionsViews14RouteQueries6Models5GateSessionRequest
8.1.2PHP Version916msRequest Duration2MBMemory UsageGET ar/الدورات/{slug}Route
    • Booting (572ms)
    • Application (342ms)
    • 1 x Booting (62.42%)
      572.00ms
      1 x Application (37.32%)
      342.00ms
      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 ar/الدورات/{slug}
      middleware
      web, localize:ar
      controller
      App\Http\Controllers\CourseController@show
      as
      ar.courses.show
      namespace
      prefix
      /ar
      where
      file
      app/Http/Controllers/CourseController.php:17-35
      6 statements were executed12.92ms
      corspedia
      • select * from `courses` where `slug_ar` = 'theory-of-automata-and-computation' limit 1
        11.51ms/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-27 18:36:41' where `id` = 5168
        510μs/app/Http/Controllers/CourseController.php:21corspedia
        Metadata
        Bindings
        • 0. 2025-07-27 18:36:41
        • 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)
        220μ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
        230μ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
        ZJ3NKMdxRreCw9J6CQlWeQBnMo6v09i1xq5mMh7x
        locale
        ar
        _previous
        array:1 [ "url" => "https://www.corspedia.com/ar/%D8%A7%D9%84%D8%AF%D9%88%D8%B1%D8%A7%D8%AA/theory...
        _flash
        array:2 [ "old" => [] "new" => [] ]
        PHPDEBUGBAR_STACK_DATA
        []
        path_info
        /ar/%D8%A7%D9%84%D8%AF%D9%88%D8%B1%D8%A7%D8%AA/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.94"
  ]
  "cdn-loop" => array:1 [▶
    0 => "cloudflare; loops=1"
  ]
  "x-forwarded-proto" => array:1 [▶
    0 => "https"
  ]
  "x-forwarded-for" => array:1 [▶
    0 => "216.73.216.94"
  ]
  "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 => "965e3e5f2d9e36a1-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.94"
  "HTTP_CDN_LOOP" => "cloudflare; loops=1"
  "HTTP_X_FORWARDED_PROTO" => "https"
  "HTTP_X_FORWARDED_FOR" => "216.73.216.94"
  "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" => "965e3e5f2d9e36a1-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" => "50180"
  "REMOTE_ADDR" => "108.162.241.168"
  "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" => "/ar/%D8%A7%D9%84%D8%AF%D9%88%D8%B1%D8%A7%D8%AA/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" => 1753641400.4283
  "REQUEST_TIME" => 1753641400
]
        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 => "Sun, 27 Jul 2025 18:36:41 GMT"
  ]
  "set-cookie" => array:2 [▶
    0 => "XSRF-TOKEN=eyJpdiI6Im9rK2s1U2tiUHNPVFR1RU9IM1ZMbXc9PSIsInZhbHVlIjoiY0RpY2g0cmJVY2xGWER5VlhuR041SmgxUHpTVVl2WlA0ZXBrL2tWMW53NEdaNDh2L1NtN0hwMXJhdXVuN0NDaUlKZ01PekhZR1d4emZnNXM4WFA3emRwckZKT3J6aDJ5VHl2bkQyemlTQlgrNEJDSUlpU2lES3BRQ25OeVQzTHgiLCJtYWMiOiI5ZjUyMzY3OTA2ZmIzZjZlMTk2MjdjMzE4OWMwMGRjNzRmN2EzYTk1ZmQzNWVjZTY5N2Q1YTY5NDA2MTgwNGQxIiwidGFnIjoiIn0%3D; expires=Sun, 27 Jul 2025 20:36:41 GMT; Max-Age=7200; path=/; samesite=lax ◀XSRF-TOKEN=eyJpdiI6Im9rK2s1U2tiUHNPVFR1RU9IM1ZMbXc9PSIsInZhbHVlIjoiY0RpY2g0cmJVY2xGWER5VlhuR041SmgxUHpTVVl2WlA0ZXBrL2tWMW53NEdaNDh2L1NtN0hwMXJhdXVuN0NDaUlKZ01Pe ▶"
    1 => "laravel_session=eyJpdiI6IlpxMlRFK1ZOcDZiWFBMbm9iNTJxdFE9PSIsInZhbHVlIjoiUlFVa0NlTnJBa3l0b1NhK3RVcmYxakhGTVpNclNqZHVjR210Z2MrdDY1dWp4TkY1RFcwYVMvdEhibFhsUWwyTTNRUWVJdHBlYWVWd01yWWJTZGYxRW45VkVxYnErVHMvUzI2cVRaQXpWT0Q0am16WUJQK2hTQ1ZDcXFkSjZLc1IiLCJtYWMiOiJiMmYxZWE0MjMwNjAwN2U3NmQ3NjVjMjkyZmVlN2MwMTM5MDg5MDE4MTc2ZjdlMTc4MjJhYjIxZjJkNTU5ZmFjIiwidGFnIjoiIn0%3D; expires=Sun, 27 Jul 2025 20:36:41 GMT; Max-Age=7200; path=/; httponly; samesite=lax ◀laravel_session=eyJpdiI6IlpxMlRFK1ZOcDZiWFBMbm9iNTJxdFE9PSIsInZhbHVlIjoiUlFVa0NlTnJBa3l0b1NhK3RVcmYxakhGTVpNclNqZHVjR210Z2MrdDY1dWp4TkY1RFcwYVMvdEhibFhsUWwyTTNR ▶"
  ]
  "Set-Cookie" => array:2 [▶
    0 => "XSRF-TOKEN=eyJpdiI6Im9rK2s1U2tiUHNPVFR1RU9IM1ZMbXc9PSIsInZhbHVlIjoiY0RpY2g0cmJVY2xGWER5VlhuR041SmgxUHpTVVl2WlA0ZXBrL2tWMW53NEdaNDh2L1NtN0hwMXJhdXVuN0NDaUlKZ01PekhZR1d4emZnNXM4WFA3emRwckZKT3J6aDJ5VHl2bkQyemlTQlgrNEJDSUlpU2lES3BRQ25OeVQzTHgiLCJtYWMiOiI5ZjUyMzY3OTA2ZmIzZjZlMTk2MjdjMzE4OWMwMGRjNzRmN2EzYTk1ZmQzNWVjZTY5N2Q1YTY5NDA2MTgwNGQxIiwidGFnIjoiIn0%3D; expires=Sun, 27-Jul-2025 20:36:41 GMT; path=/ ◀XSRF-TOKEN=eyJpdiI6Im9rK2s1U2tiUHNPVFR1RU9IM1ZMbXc9PSIsInZhbHVlIjoiY0RpY2g0cmJVY2xGWER5VlhuR041SmgxUHpTVVl2WlA0ZXBrL2tWMW53NEdaNDh2L1NtN0hwMXJhdXVuN0NDaUlKZ01Pe ▶"
    1 => "laravel_session=eyJpdiI6IlpxMlRFK1ZOcDZiWFBMbm9iNTJxdFE9PSIsInZhbHVlIjoiUlFVa0NlTnJBa3l0b1NhK3RVcmYxakhGTVpNclNqZHVjR210Z2MrdDY1dWp4TkY1RFcwYVMvdEhibFhsUWwyTTNRUWVJdHBlYWVWd01yWWJTZGYxRW45VkVxYnErVHMvUzI2cVRaQXpWT0Q0am16WUJQK2hTQ1ZDcXFkSjZLc1IiLCJtYWMiOiJiMmYxZWE0MjMwNjAwN2U3NmQ3NjVjMjkyZmVlN2MwMTM5MDg5MDE4MTc2ZjdlMTc4MjJhYjIxZjJkNTU5ZmFjIiwidGFnIjoiIn0%3D; expires=Sun, 27-Jul-2025 20:36:41 GMT; path=/; httponly ◀laravel_session=eyJpdiI6IlpxMlRFK1ZOcDZiWFBMbm9iNTJxdFE9PSIsInZhbHVlIjoiUlFVa0NlTnJBa3l0b1NhK3RVcmYxakhGTVpNclNqZHVjR210Z2MrdDY1dWp4TkY1RFcwYVMvdEhibFhsUWwyTTNR ▶"
  ]
]
        session_attributes
          0 of 0   
        array:5 [▼
  "_token" => "ZJ3NKMdxRreCw9J6CQlWeQBnMo6v09i1xq5mMh7x"
  "locale" => "ar"
  "_previous" => array:1 [▶
    "url" => "https://www.corspedia.com/ar/%D8%A7%D9%84%D8%AF%D9%88%D8%B1%D8%A7%D8%AA/theory-of-automata-and-computation"
  ]
  "_flash" => array:2 [▶
    "old" => []
    "new" => []
  ]
  "PHPDEBUGBAR_STACK_DATA" => []
]