무지성 메모
■정지문제 ■GCC
배게
2021. 7. 22. 06:30
728x90
정지문제를 Halting Problem 라고 하는데
"프로그램을 설명한 자료와 맨 처음에 입력값을 넣어주고 실행시킨다면"
"과연 이 프로그램은 무한한 실행과정 후에 계산을 끝낼까, 아니면 영원히 돌아갈까?"
이 결과를 미리 알 수가 있을까?
더 쉽게 이야기 하자면
"무한한 작업 후에 프로그램이 맡은 일을 해결했는지, 못 했는지 미리 알려주는 알고리즘이 존재할까?" 결론만 말하면 '없다'임 귀류법으로 증명
https://www.youtube.com/watch?v=92WHN-pAFCs
GCC
GNU 프로젝트의 오픈 소스 컴파일러 컬렉션. 유닉스/리눅스 계열 플랫폼의 사실상 표준 컴파일러다. 리처드 스톨먼이 1987년에 만들었다. 단순하게는 리눅스에 사용되는 컴파일러..라고
처음에는 C 컴파일러였으며 'GNU C Compiler'의 약어였다. 하지만 기능이 추가되면서 C++ 같은 다른 언어도 지원하게 되었고[1], 'GNU Compiler Collection'으로 이름을 변경하였다. 물론 약어는 여전히 GCC이다.