본문 바로가기

공부/프로그래밍언어론

프로그래밍 언어 구현 기법
공부/프로그래밍언어론 2020. 4. 28. 프로그래밍 언어 구현 기법 기계어와 무관한 고급 언어로 작성된 프로그램을 실제 기계에서 작동시키려면 번역기가 있어야한다. 프로그래밍 언어를 구현하는 기법으로는 번역 기법(translation)과 인터프리터 기법(interpretation)이 있다. 프로그램의 입장에서는 컴퓨터를 내가 개발한 프로그램을 저장하여 실행할 수 있는 알고리즘과 자료의 총괄 집합으로 본다. 이론적으로 고급 언어를 기계언어로 하는 하드웨어를 구성할 수 있지만 속도, 적응성, 비용 증가의 이유로 저급 수준의 언어를 기계 언어로 하는 컴퓨터를 제공한다. 번역 기법 번역 기법은 주어진 고급 프로그래밍 언어로 작성된 프로그램을 실제 주어진 컴퓨터의 기계어로 번역하여 동등한 의미의 기계어 프로그램을 만들어 실행시키는 방법이다. - 번역기의 종류 컴파일러(compile..
프로그래밍 언어의 구문
공부/프로그래밍언어론 2020. 4. 27. 프로그래밍 언어의 구문 프로그래밍 언어는 언어 구문(syntax)과 언어 의미로 구성된다. 모두 자연어로 기술 될 수 있으며, 실제로 프로그래밍 언어 초창기에는 영어 표현으로 기술했다. 언어 의미는 아직까지도 대부분 영어로 기술되는 반면, 구문은 거의 초창기부터 사용되고 있는 형식시스템이 제공된다. - 언어 정의(def): 구문(syntax), 의미(semantics) 자연어 정의, 형식화된 표현법 정의 구문 형식 정의 - BNF, EBNF(BNF확장), 구문 도표 - 컴퓨터라는 프로그램을 실행 할 수 있는 알고리즘+자료구조 집합 하드웨어 컴퓨터(실제 컴퓨터) 스프트웨어 시뮬레이트 컴퓨터(software simulated computer) 가상 컴퓨터(virtual computer) 가상 컴퓨터 고급 언어 프로그래머는 컴퓨터를..
공부/프로그래밍언어론 2020. 4. 26. 프로그래밍 언어 설계 언어 설계는 매우 어렵고 이해하기 쉽지 않은 컴퓨터 분야 중 하나이다. 언어는 특별한 상태에 맞는 적절한 추상화를 제공하거나 혹은 필요시에 이러한 추상화를 생성할 수 있는 일반적인 능력을 제공해야 된다. 프로그래밍 언어 설계는 사용하고자 하는 목적과 필요성에 깊이 좌우된다. 이런 면에서 언어 설계는 목적 지향적인 행위를 갖는 프로그래밍 자체와 매우 유사하다. 무엇이 좋은 프로그래밍 언어 설계인지를 말하는 것은 매우 어렵다. 이제부터 프로그래밍 언어의 어떤 점이 왜 좋고 나쁜지를 예를 들어가며 제시한다. 설계 기준의 역사적 변천 - 주요 언어 성공 요인(언어 자체보다 외적 요인) Fortran: 컴퓨터 제조회사 후원 Cobol: 미 국방성 지원 Lisp: 인공지능 분야에서 사용 Pascal: 교육용, 마이..
공부/프로그래밍언어론 2020. 4. 26. 프로그래밍 언어의 세대론과 미래 프로그래밍 언어의 세대구분(견해에 따른 2가지 분류) - 첫번째 분류 1세대: 어셈블리 언어 2세대: 비구조형 고급 언어 Fortran, Cobol, Basic 등: 비구조형 언어 3세대: 구조형 고급 언어 PL/1, Pascal, C 등: 프로시저 위주의 고급 언어 4세대: 화일처리(SQL등) 5세대: 초 고급 언어 Prolog, SETL 등: 초 고급 언어 - 두번째 분류 1세대: 기계어 2세대: 어셈블리 언어 3세대: 고급 언어 4세대: 화일처리(SQL등) 5세대: 초 고급 언어 4세대 언어 특징 소프트웨어의 위기 (software crisis) 4세대 언어들은 데이터베이스 시스템을 위해 만들어진 명령어로 출발 에디터(editor)나 디버거(debugger), 서류작성기나 제어용 유틸리티와 같은 개..
공부/프로그래밍언어론 2020. 4. 25. 1990년대: 웹(WWW)을 위한 언어 1990년대 언어의 특징 - 4세대 언어 대두 응용문제를 빠르게 구현 실사용자가 직접 프로그래밍 데이터 베이스를 쉽게 처리 - HTML, Java 등장 1990년대 등장한 언어 - Java언어 James Gosling 설계 팀장 C++ 기반: 많은 구조 삭제, 일부 구조 변경, 일부 구조 추가 C++의 강력함과 유연성 제공 C++ 보다 규모는 작아지고, 더 간결하고, 신뢰성이 증가 된 언어 한 응용 분야 목표: 내장 시스템 Java의 응용분야가 확장 됨 → Web 프로그래밍 (C/C++결점 보완) Java의 특징: 간결성과 신뢰성 제공 원칙 자료형, 클래스 제공 기본 자료형: 스칼라 형 제공 배열 – 미리 정의된 클래스 객체로 제공(C++와 구별) 포인터 삭제 → 참조형 제공 포인터 – 기억장소 지시, ..
공부/프로그래밍언어론 2020. 4. 25. 1970년대: 간결성, 추상화, 연구 사항 1970년대 초반 언어의 특징 60년대의 혼란 이후 -> 간결성과 일관성 추구 Niklaus Wirth: Algol 68 디자인에 반발 (방대성) Wirth와 Hoare는 Algol W 제안 1970년대 초반에 등장한 언어 - Pascal (1971, Wirth) 작고, 간결하고, 효율적이고, 구조적이며, 프로그래밍 교육용 분리 컴파일, 유용한 문자열 조작, 입출력 기능 -> 삭제 또는 축소 (성공적) - C 언어 (1972, Dennis Ritchie) Pascal 과는 다른 각도의 간결성 수식 위주로 형 시스템과 실행환경 축소, 하드웨어 접근 용이 중급 언어로 분류 : 기계 접근성 강화 (고급 언어와 상반 개념) 운영체제 프로그래밍용 (Bliss(1971), Forth(1971)) C 언어로 작성된 ..
공부/프로그래밍언어론 2020. 4. 25. 1960년대: 프로그래밍 언어의 폭증 1960년대 시대적 특징 초기 언어 성공 -> 언어 개발 몰두 -> 수백의 언어 탄생 특별한 관심 분야나 목적 예) 그래픽, 통신, 보고서 작성 분야 등 대부분의 언어는 소멸, 소수의 언어는 프로그래밍 언어의 발전에 지대한 공헌 1960년대 등장한 언어 - PL/I(Programming Language One) Fortran, Cobol, Algol 60의 장점 모두 수용 새로운 개념 추가(병행성, 기억 장소 할당, 예외처리) IBM의 막강한 지원 언어의 문제점(방대) 번역기가 크고 작성이 어려움 실행 효율 저하 배우기 어려움, 오류 발생 유도 언어 특성들의 상호 작용으로 인한 신뢰성 저하 - Algol 68 Algol60 + 타 언어의 여러 기능 + 표현력 있고 일관된 구조 새로운 특성 독자 개발 이론..
공부/프로그래밍언어론 2020. 4. 25. 1950년대: 최초의 프로그래밍 언어 1950년대 초반 - 기계어 사용(프로그램 저장 방식) -> 기호화 -> 어셈블리 언어: 기계어를 대신할 기호(simbol)나 연상기호(mnemonics)를 사용 - 기계 의존적 - 자연어와 상이한 구문 1950년대 중반 - Fortran(Formula TRANslation) 1954 – 57, John Backus에 의해 고안된 최초의 고급 언어 Fortran II, Fortran IV, Fortran 66, Fortran 77, Fortran 90 Fortran 컴파일러는 효율적인 기계어 코드를 생성 -> 언어의 긴 생명 배열, 반복 구조, 분기문, 부프로그램 등의 특징은 이후 언어에 큰 영향 1950년대 후반 - COBOL(Common Business-Oriented Language) 상업자료처리용..
디지털 컴퓨터 이전의 언어
공부/프로그래밍언어론 2020. 4. 25. 디지털 컴퓨터 이전의 언어 최초의 알고리즘 찰흙판, BC 1500 – 3000, 바빌론 근처 메소포타미아 60진법 사용 (현재 시, 분, 초 개념에 사용), 부동 소수점, 가감승제 가능 대수학 방정식 해결 ("이것이 프로시저다" 표현 사용) if x < 0 then branch과 같은 조건문 개념 없음 (음수, 0 개념 없음 때문) 알고리즘 반복 작성, 우수한 표기법이었음 Euclid B. C. 300년, 최대공약수 알고리즘 (모국어 사용) 수에서 0 개념 없음, 수 1이 제수로 인식되지 않았음 특수 경우 반복 시킴 바빌로니아 사람들 것보다 별로 진보되지 못함 Charles Babbage(1792-1871) - Difference Engine 계산 처리를 위한 기계 유한 차(finite difference)의 원리를 기본으로 함 ..

티스토리툴바