\documentclass[12pt, a4paper]{report}
\usepackage{verbatim}
\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{syntax}
\usepackage{fyp}
\usepackage{textcomp}
\usepackage{multirow}
\usepackage{booktabs}
\usepackage{algpseudocode}
\usepackage{algorithm}
\usepackage{graphicx}
\usepackage{xcolor}
\usepackage{geometry}
\usepackage{setspace}
\usepackage{enumerate}
\usepackage{stmaryrd}
\usepackage{ragged2e}
\newcommand{\myGray}[1]{\textcolor{gray}{#1}}
\usepackage[labelfont=bf]{caption}
\usepackage[openbookmark=true]{hyperref}
\usepackage{bookmark}
\newenvironment{code}
{\footnotesize\verbatim}{\endverbatim\normalfont}
\setcounter{secnumdepth}{3}
\setcounter{tocdepth}{3}
\theoremstyle{definition}
\newtheorem{definition}{Definition}[section]
\theoremstyle{definition}
\newtheorem{example}{Example}[section]
\theoremstyle{definition}