최종 합격 후기 / 면접 내용과 답변

육군 전문특기병 (정보보호병) - 2차 면접 준비

육군 전문특기병 (정보보호병) - 1차 합격 후기

Fetch > lw from memory addr in PC to IRDecode >

Halting Problem

exampleLHS의 제한 XTM = r.e. languages = unrestricted G

다른 Machine처럼 accepter 역할도 하지만, 함수역할의 transducer도 수행Encoding이 필요하다digital computer가 할 수 있는 일은 TM이 모두 할 수 있다.TM with stayTM with multiple track tapesemi

CFL인지 확인하는 증명UnionConcatenationStar ClosureNot AllowedIntersectionComplementL1 = Context FreeL2 = RegularL1 intersection L2 = Context Free

transitionCondition for AcceptAll the input is consumedThe last state is a final state\+) do not care stackWe will convert any context-free grammar G

Automata ch6.

Triger

• Selection Statements • Iterative Statements • Unconditional Branching • Guarded Commands

• Relational and Boolean Expressions • Short-Circuit Evaluation • Assignment Statements • Mixed-Mode Assignment

• Arithmetic Expr. • Overloaded Operators • Type Conversions

Programming Language