\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{amsthm}
\usepackage{graphicx}
\usepackage[margin=1in]{geometry}
\usepackage{tikz}
\pagestyle{fancy}

%some commands for convenience
\newcommand{\DFA}{\textsf{DFA} }
\newcommand{\NFA}{\textsf{NFA} }
\newcommand{\CFG}{\textsf{CFG} }
%sets
\newcommand{\Reals}{\mathbb{R}}
\newcommand{\Naturals}{\mathbb{N}}
\newcommand{\Rationals}{\mathbb{Q}}
\newcommand{\Integers}{\mathbb{Z}}

\newcommand{\set}[1]{\{#1\}}