1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#! /bin/sh
# mtt2reps_txt: Gives a tabular listing of representations and languages
# P J Gawthrop July 1998, October 1998
# Copyright (c) P.J.Gawthrop, 1998
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.2 1999/03/08 06:34:07 peterg
## Removed mtt help - replaced by grep #SUMMARY - quicker
##
## Revision 1.1 1998/10/20 08:15:08 peterg
## Initial revision
##
###############################################################
|
>
>
>
>
>
>
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#! /bin/sh
# mtt2reps_txt: Gives a tabular listing of representations and languages
# P J Gawthrop July 1998, October 1998
# Copyright (c) P.J.Gawthrop, 1998
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.3 1999/03/08 21:24:43 peterg
## Handles * representations:
##
## rep* is special
## rep shows all possible languages
##
## Revision 1.2 1999/03/08 06:34:07 peterg
## Removed mtt help - replaced by grep #SUMMARY - quicker
##
## Revision 1.1 1998/10/20 08:15:08 peterg
## Initial revision
##
###############################################################
|
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
if (index(rep,"*")==length(rep)){
if ($2==rep) print $NF
}
else
if (($2==rep)||($2==sprintf("%s*",rep))) print $NF
}' rep=$rep |\
sort -u | sed 's/[()]//g'`
echo $rep $language |\
awk '{
printf( "%s", $1)
for (i=2;i<=NF;i++) printf("\t%s", $i);
printf("\n")
}'
done
|
|
|
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
if (index(rep,"*")==length(rep)){
if ($2==rep) print $NF
}
else
if (($2==rep)||($2==sprintf("%s*",rep))) print $NF
}' rep=$rep |\
sort -u | sed 's/[()]//g'`
echo $rep $language |\
awk '{
printf( "%s", $1)
for (i=2;i<=NF;i++) printf("\t%s", $i);
printf("\n")
}'
done
|