چکیده هدف این پایان نامه مطالعه ی روش هایی برای توصیف متناهی گروه هاست به طوری که آن گروه با این توصیف در حد ایزومورفیسم به صورت یکتا مشخص گردد. به طور مشخص دو روش برای چنین توصیفی از گروه دلخواهی چونg به دست داده شده است. الف- گروهی دلخواه چونg ، قابل نمایش به وسیله ی یک اتوماتون متنناهی است اگروفقط اگر اعضای آن را بتوان به وسیله ی دنباله هایی روی یک الفبای متناهی نمایش داد به طوری که مجموعه ی دنباله های نمایشی از اعضای گروه و به خصوص رابطه ی تساوی بین آنها را بتوان با یک اتوماتون متناهی آزمود و به علاوه عمل گروه نیز به ازای هر دو عضو از آن قابل تشخیص با این اتوماتون باشد. ب- یک گروه نامتناهی با تولید متناهی شبه متناهیا اصل پذیر است اگر وفقط اگر با دانستن نامتناهی بودن و متناهی التولید بودن آن، جمله ی درجه اولی در زبان آن گروه چنان موجود باشد که آن را با تقریب یک ریختی به صورت یکتا توصیف کند. در پایان نامه سعی شده است، ابتدا شرح مختصری از اتوماتون های متناهی برای نیل به قضایا و تعاریف روش اول و مفاهیم منطقی برای نیل به قضایا و تعاریف روش دوم ارائه شود. محدودیت ها و پیچیدگی این دو روش نیز تا حدودی بررسی شده است. منبع اصلی این پایان نامه مقاله ی زیر می باشد: andré nies, describing groups, the bulletin of symbolic logic, volume 13, number 3, sept. 2007, 305 ? 339.