Теория языков программирования

Автор работы: Пользователь скрыл имя, 20 Ноября 2013 в 10:55, курсовая работа

Краткое описание

В качестве вводной части к курсовому проекту рассмотрим теоретические аспекты лексического и синтаксического анализов.
Лексический анализ – разбиение последовательности символов входного текста на последовательность слов, или лексем.

Содержание

2.Введение 3
3.Постановка задачи 4
4.Грамматика языка программирования обработки строк 5
5.Описание структуры системы программирования 8
6.Руководство пользователя 9
7.Заключение 10
8.Список использованной литературы 11
Приложение 1. Текст программы 12
Приложение 2. Тестовые случаи 32

Прикрепленные файлы: 1 файл

Course_TYAP Зинина Ю.В..doc

— 468.50 Кб (Скачать документ)

http://cf.viplast.ru/programming/development/index.shtml

 

 

Приложение 1. Текст программы

/* A Bison parser, made by GNU Bison 2.1.  */

 

/* Identify Bison output.  */

#define YYBISON 1

 

/* Bison version.  */

#define YYBISON_VERSION "2.1"

 

/* Skeleton name.  */

#define YYSKELETON_NAME "yacc.c"

 

/* Pure parsers.  */

#define YYPURE 0

 

/* Using locations.  */

#define YYLSP_NEEDED 0

 

 

/* Tokens.  */

#ifndef YYTOKENTYPE

# define YYTOKENTYPE

   /* Put the tokens into the symbol table, so that GDB and other debuggers

      know about them.  */

   enum yytokentype {

     AP_DN_KW = 258,

     AP_NUMBER = 259,

     AP_CPND_KW = 260,

     AP_NAME_KW = 261,

     AP_XPLN_KW = 262,

     AP_DISPLAYFMT_KW = 263,

     AP_FIRSTLAST_KW = 264,

     AP_VMB_KW = 265,

     AP_VMBCOS_KW = 266,

     AP_SECONDDN_KW = 267,

     AP_THIRDDN_KW = 268,

     AP_VMBSTATE_KW = 269,

     AP_CONFIGURED_KW = 270,

     AP_TYPE_KW = 271,

     AP_SL = 272,

     AP_TN_KW = 273,

     AP_TN = 274,

     AP_KEY = 275,

     AP_KEY_KW = 276,

     AP_H_KW = 277,

     AP_MARP_KW = 278,

     AP_DES_KW = 279,

     AP_NAME = 280,

     AP_DATE = 281,

     AP_YEAR = 282

   };

#endif

/* Tokens.  */

#define AP_DN_KW 258

#define AP_NUMBER 259

#define AP_CPND_KW 260

#define AP_NAME_KW 261

#define AP_XPLN_KW 262

#define AP_DISPLAYFMT_KW 263

#define AP_FIRSTLAST_KW 264

#define AP_VMB_KW 265

#define AP_VMBCOS_KW 266

#define AP_SECONDDN_KW 267

#define AP_THIRDDN_KW 268

#define AP_VMBSTATE_KW 269

#define AP_CONFIGURED_KW 270

#define AP_TYPE_KW 271

#define AP_SL 272

#define AP_TN_KW 273

#define AP_TN 274

#define AP_KEY 275

#define AP_KEY_KW 276

#define AP_H_KW 277

#define AP_MARP_KW 278

#define AP_DES_KW 279

#define AP_NAME 280

#define AP_DATE 281

#define AP_YEAR 282

 

/* Copy the first part of user declarations.  */

#line 1 "bison.txt"

 

#include <stdlib.h>

#include <stdio.h>

int yylex();

void yyerror(char const *msg);

 

/* Enabling traces.  */

#ifndef YYDEBUG

# define YYDEBUG 0

#endif

 

/* Enabling verbose error messages.  */

#ifdef YYERROR_VERBOSE

# undef YYERROR_VERBOSE

# define YYERROR_VERBOSE 1

#else

# define YYERROR_VERBOSE 0

#endif

 

/* Enabling the token table.  */

#ifndef YYTOKEN_TABLE

# define YYTOKEN_TABLE 0

#endif

 

#if ! defined (YYSTYPE) && ! defined (YYSTYPE_IS_DECLARED)

#line 9 "bison.txt"

typedef union YYSTYPE {

char* string; 

} YYSTYPE;

/* Line 196 of yacc.c.  */

#line 150 "bison.c"

# define yystype YYSTYPE /* obsolescent; will be withdrawn */

# define YYSTYPE_IS_DECLARED 1

# define YYSTYPE_IS_TRIVIAL 1

#endif

 

/* Copy the second part of user declarations.  */

 

/* Line 219 of yacc.c.  */

#line 162 "bison.c"

 

#if ! defined (YYSIZE_T) && defined (__SIZE_TYPE__)

# define YYSIZE_T __SIZE_TYPE__

#endif

#if ! defined (YYSIZE_T) && defined (size_t)

# define YYSIZE_T size_t

#endif

#if ! defined (YYSIZE_T) && (defined (__STDC__) || defined (__cplusplus))

# include <stddef.h> /* INFRINGES ON USER NAME SPACE */

# define YYSIZE_T size_t

#endif

#if ! defined (YYSIZE_T)

# define YYSIZE_T unsigned int

#endif

 

#ifndef YY_

# if YYENABLE_NLS

#  if ENABLE_NLS

#   include <libintl.h> /* INFRINGES ON USER NAME SPACE */

#   define YY_(msgid) dgettext ("bison-runtime", msgid)

#  endif

# endif

# ifndef YY_

#  define YY_(msgid) msgid

# endif

#endif

 

#if ! defined (yyoverflow) || YYERROR_VERBOSE

 

/* The parser invokes alloca or malloc; define the necessary symbols.  */

 

# ifdef YYSTACK_USE_ALLOCA

#  if YYSTACK_USE_ALLOCA

#   ifdef __GNUC__

#    define YYSTACK_ALLOC __builtin_alloca

#   else

#    define YYSTACK_ALLOC alloca

#    if defined (__STDC__) || defined (__cplusplus)

#     include <stdlib.h> /* INFRINGES ON USER NAME SPACE */

#     define YYINCLUDED_STDLIB_H

#    endif

#   endif

#  endif

# endif

 

# ifdef YYSTACK_ALLOC

   /* Pacify GCC's `empty if-body' warning. */

#  define YYSTACK_FREE(Ptr) do { /* empty */; } while (0)

#  ifndef YYSTACK_ALLOC_MAXIMUM

    /* The OS might guarantee only one guard page at the bottom of the stack,

       and a page size can be as small as 4096 bytes.  So we cannot safely

       invoke alloca (N) if N exceeds 4096.  Use a slightly smaller number

       to allow for a few compiler-allocated temporary stack slots.  */

#   define YYSTACK_ALLOC_MAXIMUM 4032 /* reasonable circa 2005 */

#  endif

# else

#  define YYSTACK_ALLOC YYMALLOC

#  define YYSTACK_FREE YYFREE

#  ifndef YYSTACK_ALLOC_MAXIMUM

#   define YYSTACK_ALLOC_MAXIMUM ((YYSIZE_T) -1)

#  endif

#  ifdef __cplusplus

extern "C" {

#  endif

#  ifndef YYMALLOC

#   define YYMALLOC malloc

#   if (! defined (malloc) && ! defined (YYINCLUDED_STDLIB_H) \

&& (defined (__STDC__) || defined (__cplusplus)))

void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */

#   endif

#  endif

#  ifndef YYFREE

#   define YYFREE free

#   if (! defined (free) && ! defined (YYINCLUDED_STDLIB_H) \

&& (defined (__STDC__) || defined (__cplusplus)))

void free (void *); /* INFRINGES ON USER NAME SPACE */

#   endif

#  endif

#  ifdef __cplusplus

}

#  endif

# endif

#endif /* ! defined (yyoverflow) || YYERROR_VERBOSE */

 

 

#if (! defined (yyoverflow) \

     && (! defined (__cplusplus) \

|| (defined (YYSTYPE_IS_TRIVIAL) && YYSTYPE_IS_TRIVIAL)))

 

/* A type that is properly aligned for any stack member.  */

union yyalloc

{

  short int yyss;

  YYSTYPE yyvs;

  };

 

/* The size of the maximum gap between one aligned stack and the next.  */

# define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1)

 

/* The size of an array large to enough to hold all stacks, each with

   N elements.  */

# define YYSTACK_BYTES(N) \

     ((N) * (sizeof (short int) + sizeof (YYSTYPE))   \

      + YYSTACK_GAP_MAXIMUM)

 

/* Copy COUNT objects from FROM to TO.  The source and destination do

   not overlap.  */

# ifndef YYCOPY

#  if defined (__GNUC__) && 1 < __GNUC__

#   define YYCOPY(To, From, Count) \

      __builtin_memcpy (To, From, (Count) * sizeof (*(From)))

#  else

#   define YYCOPY(To, From, Count)  \

      do     \

{     \

  YYSIZE_T yyi;    \

  for (yyi = 0; yyi < (Count); yyi++) \

    (To)[yyi] = (From)[yyi];  \

}     \

      while (0)

#  endif

# endif

 

/* Relocate STACK from its old location to the new one.  The

   local variables YYSIZE and YYSTACKSIZE give the old and new number of

   elements in the stack, and YYPTR gives the new location of the

   stack.  Advance YYPTR to a properly aligned location for the next

   stack.  */

# define YYSTACK_RELOCATE(Stack)     \

    do         \

      {         \

YYSIZE_T yynewbytes;      \

YYCOPY (&yyptr->Stack, Stack, yysize);    \

Stack = &yyptr->Stack;      \

yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \

yyptr += yynewbytes / sizeof (*yyptr);    \

      }         \

    while (0)

 

#endif

 

#if defined (__STDC__) || defined (__cplusplus)

   typedef signed char yysigned_char;

#else

   typedef short int yysigned_char;

#endif

 

/* YYFINAL -- State number of the termination state. */

#define YYFINAL  6

/* YYLAST -- Last index in YYTABLE.  */

#define YYLAST   41

 

/* YYNTOKENS -- Number of terminals. */

#define YYNTOKENS  28

/* YYNNTS -- Number of nonterminals. */

#define YYNNTS  7

/* YYNRULES -- Number of rules. */

#define YYNRULES  8

/* YYNRULES -- Number of states. */

#define YYNSTATES  36

 

/* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX.  */

#define YYUNDEFTOK  2

#define YYMAXUTOK   282

 

#define YYTRANSLATE(YYX)      \

  ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)

 

/* YYTRANSLATE[YYLEX] -- Bison symbol number corresponding to YYLEX.  */

static const unsigned char yytranslate[] =

{

       0,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,    2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     1,     2,     3,     4,

       5,     6,     7,     8,     9,    10,    11,    12,    13,    14,

      15,    16,    17,    18,    19,    20,    21,    22,    23,    24,

      25,    26,    27

};

 

#if YYDEBUG

/* YYPRHS[YYN] -- Index of the first RHS symbol of rule number YYN in

   YYRHS.  */

static const unsigned char yyprhs[] =

{

       0,     0,     3,     5,     8,    13,    24,    32,    34

};

 

/* YYRHS -- A `-1'-separated list of the rules' RHS. */

static const yysigned_char yyrhs[] =

{

      29,     0,    -1,    30,    -1,    29,    30,    -1,    31,    32,

      33,    34,    -1,     3,     4,     5,     6,    25,    25,     7,

       4,     8,     9,    -1,    10,    11,     4,    12,    13,    14,

      15,    -1,    16,    -1,    18,    19,    21,    20,    22,    23,

     24,    26,    27,    -1

};

 

/* YYRLINE[YYN] -- source line where rule number YYN was defined.  */

static const unsigned char yyrline[] =

{

       0,    18,    18,    18,    19,    20,    28,    30,    32

};

#endif

 

#if YYDEBUG || YYERROR_VERBOSE || YYTOKEN_TABLE

/* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.

   First, the terminals, then, starting at YYNTOKENS, nonterminals. */

static const char *const yytname[] =

{

  "$end", "error", "$undefined", "AP_DN_KW", "AP_NUMBER", "AP_CPND_KW",

  "AP_NAME_KW", "AP_XPLN_KW", "AP_DISPLAYFMT_KW", "AP_FIRSTLAST_KW",

  "AP_VMB_KW", "AP_VMBCOS_KW", "AP_SECONDDN_KW", "AP_THIRDDN_KW",

  "AP_VMBSTATE_KW", "AP_CONFIGURED_KW", "AP_TYPE_KW", "AP_SL", "AP_TN_KW",

  "AP_TN", "AP_KEY", "AP_KEY_KW", "AP_H_KW", "AP_MARP_KW", "AP_DES_KW",

  "AP_NAME", "AP_DATE", "AP_YEAR", "$accept", "list", "record", "userinfo",

  "dopinfo", "type", "summary", 0

};

#endif

 

# ifdef YYPRINT

/* YYTOKNUM[YYLEX-NUM] -- Internal token number corresponding to

   token YYLEX-NUM.  */

static const unsigned short int yytoknum[] =

{

       0,   256,   257,   258,   259,   260,   261,   262,   263,   264,

     265,   266,   267,   268,   269,   270,   271,   272,   273,   274,

     275,   276,   277,   278,   279,   280,   281,   282

};

# endif

 

/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives.  */

static const unsigned char yyr1[] =

{

       0,    28,    29,    29,    30,    31,    32,    33,    34

};

 

/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN.  */

static const unsigned char yyr2[] =

{

       0,     2,     1,     2,     4,    10,     7,     1,     9

};

 

/* YYDEFACT[STATE-NAME] -- Default rule to reduce with in state

   STATE-NUM when YYTABLE doesn't specify something else to do.  Zero

   means the default is an error.  */

static const unsigned char yydefact[] =

{

       0,     0,     0,     2,     0,     0,     1,     3,     0,     0,

       0,     0,     7,     0,     0,     0,     0,     4,     0,     0,

       0,     0,     0,     0,     0,     0,     0,     0,     6,     0,

       0,     0,     5,     0,     0,     8

};

 

/* YYDEFGOTO[NTERM-NUM]. */

static const yysigned_char yydefgoto[] =

{

      -1,     2,     3,     4,     9,    13,    17

};

 

/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing

   STATE-NUM.  */

#define YYPACT_NINF -16

static const yysigned_char yypact[] =

{

      -2,     1,     0,   -16,    -8,    -1,   -16,   -16,    -5,    -9,

       2,     5,   -16,    -7,   -15,     3,    -6,   -16,   -13,     4,

      -3,     7,     6,    -4,    15,     8,     9,    13,   -16,    10,

      16,    11,   -16,    12,    14,   -16

};

 

/* YYPGOTO[NTERM-NUM].  */

static const yysigned_char yypgoto[] =

{

     -16,   -16,    20,   -16,   -16,   -16,   -16

};

 

/* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM.  If

   positive, shift that token.  If negative, reduce the rule which

   number is the opposite.  If zero, do what YYDEFACT says.

   If YYTABLE_NINF, syntax error.  */

#define YYTABLE_NINF -1

static const unsigned char yytable[] =

{

       6,     1,     8,     1,    10,     5,    11,    12,    14,    15,

      18,    16,    21,    20,    24,    19,    26,    22,    23,    27,

      25,    30,     7,    28,     0,    32,     0,     0,     0,     0,

       0,    29,     0,    31,     0,    33,     0,     0,    34,     0,

       0,    35

};

 

static const yysigned_char yycheck[] =

{

       0,     3,    10,     3,     5,     4,    11,    16,     6,     4,

      25,    18,    25,    19,     7,    12,    20,    13,    21,     4,

      14,     8,     2,    15,    -1,     9,    -1,    -1,    -1,    -1,

      -1,    22,    -1,    23,    -1,    24,    -1,    -1,    26,    -1,

      -1,    27

};

 

/* YYSTOS[STATE-NUM] -- The (internal number of the) accessing

   symbol of state STATE-NUM. */

static const unsigned char yystos[] =

{

       0,     3,    29,    30,    31,     4,     0,    30,    10,    32,

       5,    11,    16,    33,     6,     4,    18,    34,    25,    12,

      19,    25,    13,    21,     7,    14,    20,     4,    15,    22,

       8,    23,     9,    24,    26,    27

};

 

#define yyerrok  (yyerrstatus = 0)

#define yyclearin (yychar = YYEMPTY)

#define YYEMPTY  (-2)

#define YYEOF  0

 

#define YYACCEPT goto yyacceptlab

#define YYABORT  goto yyabortlab

#define YYERROR  goto yyerrorlab

 

/* Like YYERROR except do call yyerror.  This remains here temporarily

   to ease the transition to the new meaning of YYERROR, for GCC.

   Once GCC version 2 has supplanted version 1, this can go.  */

 

#define YYFAIL  goto yyerrlab

 

#define YYRECOVERING()  (!!yyerrstatus)

 

#define YYBACKUP(Token, Value)     \

do        \

  if (yychar == YYEMPTY && yylen == 1)    \

    {        \

      yychar = (Token);      \

      yylval = (Value);      \

      yytoken = YYTRANSLATE (yychar);    \

      YYPOPSTACK;      \

      goto yybackup;      \

    }        \

  else        \

    {        \

      yyerror (YY_("syntax error: cannot back up")); \

      YYERROR;       \

    }        \

while (0)

 

 

#define YYTERROR 1

#define YYERRCODE 256

 

/* YYLLOC_DEFAULT -- Set CURRENT to span from RHS[1] to RHS[N].

   If N is 0, then set CURRENT to the empty location which ends

   the previous symbol: RHS[0] (always defined).  */

 

#define YYRHSLOC(Rhs, K) ((Rhs)[K])

#ifndef YYLLOC_DEFAULT

# define YYLLOC_DEFAULT(Current, Rhs, N)    \

    do         \

      if (N)        \

{        \

  (Current).first_line   = YYRHSLOC (Rhs, 1).first_line; \

  (Current).first_column = YYRHSLOC (Rhs, 1).first_column; \

  (Current).last_line    = YYRHSLOC (Rhs, N).last_line;  \

  (Current).last_column  = YYRHSLOC (Rhs, N).last_column; \

}        \

      else        \

{        \

  (Current).first_line   = (Current).last_line   =  \

    YYRHSLOC (Rhs, 0).last_line;    \

  (Current).first_column = (Current).last_column =  \

    YYRHSLOC (Rhs, 0).last_column;    \

}        \

    while (0)

#endif

 

/* YY_LOCATION_PRINT -- Print the location on the stream.

   This macro was not mandated originally: define only if we know

   we won't break user code: when these are the locations we know.  */

 

#ifndef YY_LOCATION_PRINT

# if YYLTYPE_IS_TRIVIAL

#  define YY_LOCATION_PRINT(File, Loc)   \

     fprintf (File, "%d.%d-%d.%d",   \

              (Loc).first_line, (Loc).first_column, \

              (Loc).last_line,  (Loc).last_column)

# else

#  define YY_LOCATION_PRINT(File, Loc) ((void) 0)

# endif

#endif

 

 

/* YYLEX -- calling `yylex' with the right arguments.  */

 

#ifdef YYLEX_PARAM

# define YYLEX yylex (YYLEX_PARAM)

#else

# define YYLEX yylex ()

#endif

 

/* Enable debugging if requested.  */

#if YYDEBUG

 

# ifndef YYFPRINTF

#  include <stdio.h> /* INFRINGES ON USER NAME SPACE */

#  define YYFPRINTF fprintf

# endif

 

# define YYDPRINTF(Args)   \

do {      \

  if (yydebug)     \

Информация о работе Теория языков программирования