01589nam a2200397 c 4500001001300000005001500013007000300028008004100031020003400072041001300106049002800119052001800147056002200165082002300187245011500210246006100325260005100386300003500437500006400472504004100536546004100577650004700618650004700665700003500712700005500747700005600802700005600858700005600914880004200970880005801012880002701070880002801097880002701125880002801152950001101180KMO20175512820171213170931ta171117s2017    ulka          001   kor    a9791156005414g93000:c\290001 akorheng0 lEM6839870lEM6839871c201a005.131b17-1  a005.131a410.12601a005.131a511.3223006880-01a형식언어와 오토마타 /dPeter Linz 저 ;e김응모,e엄영익,e박희진,e배상원 공역19aIntroduction to formal languages and automatag(6th ed.)  6880-02a서울 :b홍릉과학출판사,c2017  axiv, 473 p. :b삽화 ;c26 cm  a권말부록: 유한-상태 변환기 ; JFLAP 추천의 글  a참고문헌(p. 465)과 색인수록  a영어 원작을 한국어로 번역 8a계산 이론[計算理論]0KSH1998000735 8a형식 언어[形式言語]0KSH20050107091 aLinz, Peter0KAC2001050554aut1 6880-03a김응모g金應模,d1957-0KAC2016299681 6880-04a엄영익,g嚴泳翊,d1960-0KAC2016375791 6880-05a박희진,g朴禧鎭,d1971-0KAC2017647431 6880-06a배상원,g裵祥元,d1980-0KAC201764745006245-01/(BaHyeongsik eoneo wa otomata  6260-02/(BaSeoul :bHongneung Gwahak Chulpansa,c20171 6700-03/(BaGim, Eungmo1 6700-04/(BaEom, Yeongik1 6700-05/(BaBak, Huijin1 6700-06/(BaBae, Sangwon0 b\29000