array:40 [
  "USER" => "www-data"
  "HOME" => "/var/www"
  "HTTP_CF_CONNECTING_IP" => "18.118.166.51"
  "HTTP_CF_VISITOR" => "{"scheme":"https"}"
  "HTTP_USER_AGENT" => "Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)"
  "HTTP_CDN_LOOP" => "cloudflare; loops=1"
  "HTTP_X_FORWARDED_PROTO" => "https"
  "HTTP_CF_IPCOUNTRY" => "US"
  "HTTP_ACCEPT_ENCODING" => "gzip, br"
  "HTTP_ACCEPT" => "*/*"
  "HTTP_REFERER" => "https://corspedia.com/en/subjects/automata-theory"
  "HTTP_X_FORWARDED_FOR" => "18.118.166.51"
  "HTTP_CF_RAY" => "8e2a67982bcd6372-ORD"
  "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" => "64278"
  "REMOTE_ADDR" => "172.70.178.180"
  "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/subjects/automata-theory"
  "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" => 1731622992.9188
  "REQUEST_TIME" => 1731622992
]

Automata Theory subject courses

Levels

Languages

Courses: 5

Automata Theory

System Validation: Automata and behavioural equivalences

Formal Languages and Automata Theory

Introduction to Automata Languages and Computation

Theory of Automata and Computation