01458nam a2200409 c 4500001001300000005001500013007000300028008004100031020003400072020003100106041001300137049002800150052001600178056001400194082001800208245010700226246005000333260004300383300003600426500003200462500001700494546004100511650004700552650005900599650004900658650004300707650004700750650005300797650004300850700003500893700004800928700001400976700001400990700001401004900001901018950001101037KMO20082318220210119110855ta080612s2008    ulka          001   kor    a9788972836735g03000:c\25000  a8972836737g03000:c\250001 akorheng0 lEM4207578lEM4207579c201a566.52b8-1  a566.522401a621.3821222100a형식언어와 오토마타 /dPeter Linz 저 ;e장직현,e김응모,e엄영익,e한광록 공역19aIntroduction to formal languages and automata  a서울 :b홍릉과학출판사,c2008  axiii, 426 p. :b삽화 ;c27 cm  a원서의 4판을 번역함  a색인수록  a영어 원작을 한국어로 번역 8a형식 언어[形式言語]0KSH2005010709 8a자유 언어 시스템[自由言語--]0KSH1998036638 8a오토마타 이론[--理論]0KSH1998010599 8a튜링 기계[--機械]0KSH1998042964 8a계산 이론[計算理論]0KSH1998000735 8a수학 기초론[數學基礎論]0KSH1998011094 8a알고리듬[algorithm]0KSH19980011441 aLinz, Peter0KAC2001050554aut1 a장직현,g張直鉉,d1950-0KAC2017071831 a김응모1 a엄영익1 a한광록10a린즈, 피터0 b\25000