编程语言主要文章：语法，编程语言和编译器。
编译器通常有两个不同的部分组成。
一个词法分析器，由一个像lex的工具形成。
那识别编程语言的语法标记。
例如:标识符或关键字，在一个简单的语言表达形式中，通常是正则表达式工具。
在最基本的概念，一个解析器由一个类似yacc的解析生成器构成。
试图判断源程序是否有效。
当然，编译器做的不仅仅是解析源代码，他们通常把它翻译成一些可执行格式。
数学、逻辑和计算机科学中，形式语言是用精确的数学或机器可处理的公式定义的语言。
形式语言一般有两个方面：语法和语义。
专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。
在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。
一个形式语言可以包含无限多个字符串。
按一定规律构成的句子或符号串的有限或无限的集合。
脱产即脱离生产。
简单的解释就是脱离工作生产岗位，全日制在校学习的一种学习形式。
在我国脱产是成人高等教育的一种学习形式，属于国民教育系列中组成部分，我国国民教育形式有三种：普通教育、成人教育、自学考试。
脱产学习就是参加工作后再去校内进行全日制学习的方式，其管理模式与普通高校一样，学习期间不在原单位工作，不占用周六和周日的工休时间，对学生有正常的相对固定的授课教室和管理要求，有稳定的寒暑假期安排。
学习形象设计的学校有国际蒙妮坦学院、北京电影学院、中影影视艺术学校、东田造型化妆培训、毛戈平形象设计艺术学校、吉米化妆学校、嘉韵形象设计学校、上海荟艺化妆学校、北京尚涛造型化妆培训学校、深圳精英化妆学校等。
形象设计，也称形象顾问。
它是以人体色为基本特征和人的面部及身材、气质及社会角色等各方面综合因素，通过专业诊断工具，测试出色彩范围与风格类型，帮人们找到最合适的服饰色彩、染发色、彩妆色、服饰风格款式，从而解决人们的所有形象问题。
形象设计从广义的服务对象上可分为城市形象设计、企业形象设计、人物形象设计、产品形象设计等。