기계어

기계어(機械語, machine language)란 컴퓨터가 별도의 해석 과정을 거치지 않고 직접 읽을 수 있는 프로그래밍 언어를 말한다. 기계어는 0과 1로 구성된 2진 숫자로 이루어져 있다. 기계어는 인간이 이해하기 어렵기 때문에 알파벳과 아라비아 숫자 및 부호를 사용하여 소스 코드(source code)를 만든 뒤, 어셈블러(assembler) 또는 컴파일러(compiler) 등을 통해 기계어로 번역하여 컴퓨터에게 전달한다. 기계어를 1세대 프로그래밍 언어라고 한다.

개요

프로그램은 기계어로 번역되어야만 컴퓨터가 그 내용을 이해하고 작동한다. 즉, 기계어는 컴퓨터의 하드웨어가 유일하게 이해할 수 있는 단어이다. 인간이 짠 소스 코드를 기계어로 번역하려면 어셈블러나 컴파일러가 필요하다.

기계어는 CPU나 그 주변 장치에 의존하므로 특정 기종을 위해 만들어진 기계어 프로그램은 다른 기종에서는 움직이지 않는 경우가 많다. 기계어는 이해하기 어렵고 컴퓨터 구조에 대한 지식이 없으면 프로그램 작성을 하기 어렵기 때문에 범용성이 부족하고 사람이 이해하기 어려운 언어기 때문에 능숙하게 사용하려면 오랜 숙달 과정과 시간이 필요하다.

역사

컴퓨터는 아주 단순한 지시사항을 매우 빠르게 수행하는 기계이고 인스트럭션은 0과 1로 이루어져 있다. 이런 형태의 인스트럭션을 기계어라한다. 1940 ~ 1950년대의 컴퓨터는 사실상 프로그래밍을 한다는 것이 불가능에 가까웠다. 그것들은 '배선(wiring)'을 통해 조절되었기 때문에 기판상에 있는 작은 전설들을 조작해서 연결이 이루어진 곳을 1, 연결이 없는 곳은 0을 나타나게 해놓았다. 전선 연결의 조합이 당시의 프로그래밍이었는데, 이런 형태의 배선은 만드는데 아주 시간이 오래 걸리고, 하기도 힘들 뿐 아니라, 뭔가 문제가 생겼을 때 에러를 찾아낸다는 것이 거의 불가능했다. 어떤 문제가 발생하면, 문자 그대로 전선 하나하나를 따라가며 어느 선에서 문제가 생겼는지를 찾아내야 했다. 문제는 전선이 수천, 수만개가 얽혀 있기 때문에 문제가를 해결하기란 거의 불가능에 가까웠고 또한, 새로운 프로그램을 추가하는 것도 일일이 새로운 배선을 해주어야 했기 때문에 많은 시간과 노동력을 요구했다. 버그(bug)라는 단어가 이때 유래 되었다는 말도 있다. 당시 거대한 컴퓨터 안에서 어슬렁 거리다가 사망한 진짜 벌레의 시체가 전선과 전선 사이에 또다른 연결을 만들어서 에러를 내었다는 것이다. 조금 시간이 지나 1950 ~ 1960년대의 기계어는 직접 배선을 해주어야 하는 수준은 벗어나게 되었다. 대신 '메모리'내의 값을 이용해서 프로그래밍을 하게 되었다. 새로운 방식의 기계어는 예전의 무식한 방식보다는 분명 향상된 것이었고, 바른 프로그램 수정을 가능하게 해주었지만 수많은 0과 1로 이루어진 패턴과 씨름하다 보니 에러가 나는 것은 마찬가지였다. 이후 사람들은 보다 쉽게 기억하기 위해 0과 1로 이루어진 비트 패턴 대신 어느 정도 이해가 되는 일종의 약어를 사용하기 시작했다. 약어는 비트 패턴의 기능 설명으로부터 만들어진 용어이다. 예를 들면 move, jump, branch 처럼 표현할수 있다. 이러한 명령어들은 어셈블러(assembler)라 불리우는 프로그램에 의해 이진수 패턴 형태로 바뀌게 된다. 이렇게 축약어로 이루어진 언어를 어셈블리어 라고 하게 된다.

특징

프로그래밍에서 컴퓨터가 이해하기 쉽고 가까운 언어일수록 저급언어로 분리되는데 저급언어란 컴퓨터가 이해하기 쉬운 이진법으로 이루어져있고 컴퓨터가 바로 이행 할수 있지만 가독성 및 생산성이 낮다. 또한 프로그램 속도가 빠르고 프로그램 크기 또한 고급 언어보다 작다. 이에 대표적인 언어가 바로 기계어이다. 저급언어인 기계어는 대부분 어셈블리어를 거쳐 짜여지게 되며, 컴퓨터가 알아들을 수 있는 유일한 프로그래밍 언어라고 볼 수 있다.

저급언어와 고급언어

저급언어

저급언어는 컴퓨터 내부에서 바로 처리 가능한 프로그래밍 언어로, 일반적으로 기계어와 어셈블리어 언어가 있다. 전류가 흐르는 상태인 on은 숫자 1, 전류가 흐르지 않는 상태인 off는 0으로 표시되어 오직 0과 1로만 나타내는 언어를 기계어라고 한다. 컴퓨터는 0과 1만 인식하다보니 사람이 알아보기에는 너무 어려웠기 때문에 기계어를 사람이 알 수 있는 형식으로 만들필요가 있었는데 이렇게 기계어를 문자적으로 표헌한 것이 어셈블리어 이다. 어셈블리어는 숫자가 0,1로 아루어진 명령어를 ADD, MOV와 같은 문자로 표헌한 언어이다. 어셈블리어를 컴퓨터가 알 수 있는 기계어로 번역해 주어야 하는 과정이 필요한데, 이러한 과정을 어셈블(Assemble)이라고 한다. 어셈블리어를 기계어로 번역하는 주체는 어셈블러라고 하는 언어 번역기가 담당한다.

고급언어

고급언어는 사람이 알기 쉽도록 씌어진 프로그래밍 언어로서, 저급언어보다 가독성이 높고 다루기가 간단하다는 장점이 있다. 컴파일러(Complier)나 인터프리터에 의해 저급언어로 번역되어 컴퓨터에서 실행된다. C, C++, 자바, 베이직 언어들이 이런 고급언어에 속한다. 구체적으로는 고급언어는 어셈블리어와 마찬가지로 컴퓨터가 직접 인식하지 못하여 기계어로 번역을 해우저야 하는데 고급언어에서는 이러한 과정을 컴파일(Compile)한다고 하고, 번역해주는 주체를 컴파일러 라고 한다.

차이점

저급언어와 고급언어의 가장 큰 차이점은 그 언어가 사용자 위주의 언어인가, 하드웨어 위주의 언어인가에 따라 다르다. 저급언어는 하드웨어와 밀접한 관계가 있기 때문에 하드웨어를 직접 제어할 수 있는 반면에 전문가가 아닌 이상은 다루기가 어렵다. 반면 고급언어는 사용자와 밀접한 관계가 있기 때문에 사용자가 다루기 쉬운 반면 하드웨어를 직접 제어 해야 할 경우에는 한계를 보인다.

참고문헌

• Baobob, 〈고급언어와 저급언어(기계어, 어셈블리어)〉, 《다음 티스토리》, 2017-12-16
• 이명헌, 〈[언어 프로그래밍 언어의 역사: 기계어, 어셈블리어, 절차적 언어, 객체 지향 언어]〉, 《이명헌 경영스쿨》
• ygszzang11, 〈저급언어와 고급언어의 설명 및 차이점〉, 《네이버 블로그》, 2011-03-06

같이 보기

• 프로그래밍 언어
• 컴파일러
• 소스 코드
• 어셈블리어

 

이 기계어 문서는 프로그래밍에 관한 글로서 검토가 필요합니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 문서 내용을 검토·수정해 주세요.

개발 : 프로그래밍 □■⊕, 소프트웨어, 데이터, 솔루션, 보안, 하드웨어, 컴퓨터, 사무자동화, 인터넷, 모바일, 사물인터넷, 게임, 메타버스, 디자인 프로그래밍 언어 ASP • C 언어 • C++ • C# • CSS • D 언어 • HTML • HTML5 • JSP • PHP • R • XHTML • XML • XSLT • 고(Go) • 고급언어 • 기계어 • 델파이 • 러스트 • 루비 • 루아 • 리액트 • 리퀴디티 • 무브 • 미켈슨 • 베이직 • 브이비스크립트 • 비주얼 C++ • 비주얼베이직(VB) • 비주얼베이직닷넷(VB.NET) • 솔리디티 • 스몰토크 • 스위프트 언어 • 스칼라 • 스크립트 언어 • 알골 • 어셈블리 • 언리얼스크립트 • 얼랭 • 에이잭스(Ajax) • 엠에프씨(MFC) • 오브젝티브-C • 오브젝트 파스칼 • 오카멜 • 웹어셈블리(WASM) • 이와즘(eWASM) • 자바 • 자바스크립트 • 저급언어 • 제이슨(JSON) • 제이쿼리(jQuery) • 카멜 • 코볼 • 코틀린 • 콜드퓨전 • 타입스크립트 • 파스칼 • 파워스크립트 • 파이썬 • 펄(Perl) • 포트란 • 프로씨(Pro-C) • 피엘에스큐엘(PL/SQL) • 피엘원(PL/I) • 하스켈 개발방법론 CBD 개발방법론 • EA • 구조적 개발방법론 • 객체지향 개발방법론 • 라이브러리 • 람다 아키텍처 • 모듈 • 모듈화 • 벤치마킹 • 소프트웨어 개발방법론 • 스크럼 • 스프린트 • 아키텍처 • 아키텍트 • 애자일 • 웹개발방법론 • 정보공학 개발방법론 • 컴포넌트 • 테일러링 • 템플릿 • 폭포수 모델 • 프로젝트 • 프로토타입 • 피드백 코딩 EUC-KR • UTF-8 • 값 • 글루웨어 • 디버깅 • 디코딩 • 마크업 • 버그 • 부트스트랩 • 세이브포인트 • 소스코드 • 시큐어코딩 • 아스키 • 액티브엑스 • 오픈소스 • 유니코드 • 인코딩 • 재컴파일 • 주석 • 컴파일 • 컴퓨터 프로그램 • 코드 • 코딩 • 태그 • 테스트 • 테이블 • 텍스트 • 파싱 • 퍼블리싱 • 퓨니코드 • 하드코딩 • 하이퍼링크 • 하이퍼텍스트 프로그래밍 C 명령어 • 객체 • 객체지향 • 객체지향 프로그래밍 • 거짓 • 관계연산자 • 기본형 변수 • 널 • 논리 • 논리연산 • 논리연산자 • 다중상속 • 다형성 • 대입 • 대입문 • 대입연산자 • 더블 • 도스 명령어 • 디폴트 • 레지스터변수 • 루프 • 리눅스 명령어 • 리턴 • 메모리 주소 • 메소드 • 멤버 • 명령문 • 명령어 • 무한루프 • 문자 • 문자열 • 바이트 • 반복문 • 배열 • 변수 • 분기 • 분기문 • 불린 • 브레이크 • 비교연산자 • 비트연산자 • 산술연산자 • 상속 • 상수 • 생성자 • 선언 • 선언문 • 설정자 • 속성 • 스위치 • 스태틱 • 시프트연산자 • 실행 • 실행문 • 어노테이션 • 에코 • 역참조 • 연산 • 연산문 • 연산자 • 오버로딩 • 오버라이딩 • 외부변수 • 윈도우 명령어 • 유닉스 명령어 • 인스턴스 • 인스트럭션 • 인클루드 • 인터페이스 • 임포트 • 입력 • 입력문 • 입출력 • 입출력문 • 자료형(데이터 타입) • 자바 명령어 • 자바 예약어 • 자바 컬렉션 • 전역변수 • 접근자 • 접근제어자 • 정보은닉 • 정수형 • 정적변수 • 제어 • 제어문 • 제어자 • 조건 • 조건문 • 조건연산자 • 주소 • 증감연산자 • 지역변수 • 참 • 참조 • 참조변수 • 초기화 • 추상메소드 • 추상클래스 • 추상화 • 출력 • 출력문 • 캡슐화 • 케이스 • 클래스 • 파라미터(매개변수) • 파이널 • 패키지 • 퍼블릭 • 포인터 • 프라이빗 • 프로텍티드 • 필드(멤버변수) • 함수 • 환경변수 명령어 abstract • array • boolean • break • byte • case • char • continue • default • double • do while • echo • elif • else • else if • false • final • float • for • gosub • goto • if • if else • import • include • int • join • long • long long • null • print • printf • println • private • protected • public • return • scanf • short • stdio.h • static • string • switch • temp • then • true • unsigned • void • while 디자인패턴 구조패턴 • 동시성패턴 • 동시실행패턴 • 모델-뷰-컨트롤러 패턴 • 상태패턴 • 생성패턴 • 싱글톤패턴 • 아키텍처패턴 • 전략패턴 • 커맨드패턴 • 행동패턴 프로그래밍 인물 귀도 반 로썸 • 그레이스 머레이 호퍼 • 니클라우스 비르트 • 댄 브릭클린 • 더그 커팅 • 데니스 리치 • 리누스 토르발스 • 리처드 그린블라트 • 마거릿 해밀턴 • 마크 앤드리슨 • 빈트 서프 • 빌 게이츠 • 빌 조이 • 스티브 잡스 • 에이다 러브레이스 • 제임스 고슬링 • 척 벤턴 • 켄 톰슨 • 팀 패터슨 위키 : 자동차, 교통, 지역, 산업, 기업, 단체, 업무, 쇼핑, 블록체인, 암호화폐, 인공지능, 개발, 인물, 행사, 일반