# Theory of Computation

## Rice's Theorem

Examples:

## Church Turing Thesis

## Turing_machines

## Dfa_examples

## Pda to Cfg

## Dfa

## Context-Free Grammar to Pushdown Automaton Conversion

We will be proving the following theorem: $$ test $$

Examples:

We will be proving the following theorem: $$ test $$